dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / zephyrus /
at develop 6 files
12__6__8__3.dzn
12__8__6__3.dzn
14__10__8__3.dzn
14__6__8__3.dzn
14__8__6__3.dzn
zephyrus.mzn