dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / share / minizinc / linear_old /
at develop 1 folder 7 files
linear
all_different_int.mzn
domain_encodings.mzn
inverse.mzn
redefinitions-2.0.2.mzn
redefinitions-2.0.mzn
redefinitions.mzn
table_int.mzn