dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / groupsplitter /
at develop 11 files
group.mzn
u12g2pref1.dzn
u12g2pref1.meta
u15g5pref0.dzn
u15g5pref0.meta
u6g1pref1.dzn
u6g1pref1.meta
u7g2pref1.dzn
u7g2pref1.meta
u9g1pref1.dzn
u9g1pref1.meta