this repo has no description
dekker.one
1./alldifferent/globals_all_different_int.mzn
2./alldifferent_except_0/test_alldiff_except0.mzn
3./alldifferent_except_0/test_alldiff_except0b.mzn
4./among/globals_among.mzn
5./atleast/globals_at_least.mzn
6./bin_packing/globals_bin_packing.mzn
7./bin_packing_capa/globals_bin_packing_capa.mzn
8./circuit/test_circuit.mzn
9./count/globals_count.mzn
10./cumulative/globals_cumulative.mzn
11./decreasing/globals_decreasing.mzn
12./disjoint/globals_disjoint.mzn
13./distribute/globals_distribute.mzn
14./global_cardinality/globals_global_cardinality.mzn
15./global_cardinality_closed/globals_global_cardinality_closed.mzn
16./global_cardinality_low_up/globals_global_cardinality_low_up.mzn
17./global_cardinality_low_up_closed/globals_global_cardinality_low_up_closed.mzn
18./increasing/globals_increasing.mzn
19./int_set_channel/globals_int_set_channel.mzn
20./int_set_channel/test_int_set_channel2.mzn
21./inverse/globals_inverse.mzn
22./inverse_set/globals_inverse_set.mzn
23./lex2/globals_lex2.mzn
24./lex_greater/globals_lex_greater.mzn
25./lex_greatereq/globals_lex_greatereq.mzn
26./lex_less/globals_lex_less.mzn
27./lex_less/test_bool_lex_less.mzn
28./lex_lesseq/globals_lex_lesseq.mzn
29./lex_lesseq/test_bool_lex_lesseq.mzn
30./link_set_to_booleans/globals_link_set_to_booleans.mzn
31./maximum/globals_maximum_int.mzn
32./minimum/globals_minimum_int.mzn
33./partition_set/globals_partition_set.mzn
34./range/globals_range.mzn
35./regular/globals_regular.mzn
36./roots/roots_bad.mzn
37./roots/test_roots.mzn
38./roots/test_roots2.mzn
39./roots/test_roots3.mzn
40./sliding_sum/globals_sliding_sum.mzn
41./sort/globals_sort.mzn
42./strict_lex2/globals_strict_lex2.mzn
43./subcircuit/test_subcircuit.mzn
44./sum_pred/globals_sum_pred.mzn
45./table/globals_table.mzn
46./value_precede/globals_value_precede_int.mzn
47./value_precede/globals_value_precede_set.mzn
48./value_precede_chain/globals_value_precede_chain_int.mzn
49./value_precede_chain/globals_value_precede_chain_set.mzn