dekker.one / bytecode-benchmarks
This repository has no description
Star
Fork 0
Watch
bytecode-benchmarks prototype share minizinc geas
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