| chessboard |
X |
X |
global_cardinality, lex_lesseq |
| code-generator |
X |
X |
all_different, cumulative, decreasing, diffn, diffn_nonstrict, maximum, member, minimum, table, value_precede_chain |
| elitserien |
|
|
all_different, global_cardinality_closed, inverse, member, regular |
| evm-super-compilation |
X |
|
global_cardinality_low_up |
| gametes |
|
X |
all_different_except_0, count, count_geq, increasing |
| kidney-exchange |
|
X |
all_different, bin_packing, seq_precede_chain |
| mrcpsp |
X |
|
cumulative |
| multi-agent-graph-coverage |
|
|
all_different |
| pennies-opt |
|
X |
all_different, decreasing |
| roster |
|
|
at_least, at_most, exactly |
| roster-shifts-bool |
|
X |
|
| speck-optimisation |
|
|
all_equal |
| sudoku_fixed |
|
|
all_different |
| table-layout |
|
|
|
| test-scheduling |
X |
X |
cumulative, disjunctive, value_precede_chain |
| travelling-thief |
|
|
all_different, inverse |
| unit-commitment |
|
|
|
| valve-network |
|
|
|
| vrplc |
|
X |
circuit, cumulative |
| yumi-static |
|
|
all_equal, all_different, circuit, cumulative, diffn, increasing, table, value_precede, value_precede_chain |