dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / geas /
at develop 10 files
fzn_all_different_int.mzn
fzn_alldifferent_except_0.mzn
fzn_cumulative.mzn
fzn_disjunctive.mzn
fzn_global_cardinality.mzn
fzn_inverse.mzn
fzn_table_int.mzn
fzn_value_precede_int.mzn
redefinitions-2.0.mzn
redefinitions.mzn