dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / tests / spec / unit / globals /
at develop 45 folders
all_disjoint
all_equal
alldifferent
alldifferent_except_0
among
atleast
atmost1
bin_packing
bin_packing_capa
circuit
count
cumulative
decreasing
disjoint
distribute
global_cardinality
global_cardinality_closed
global_cardinality_low_up
global_cardinality_low_up_closed
increasing
int_set_channel
inverse
inverse_in_range
inverse_set
lex2
lex_greater
lex_greatereq
lex_less
lex_lesseq
link_set_to_booleans
maximum
minimum
nvalue
partition_set
range
regular
roots
sliding_sum
sort
strict_lex2
subcircuit
sum_pred
table
value_precede
value_precede_chain