dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / freepizza /
at develop 7 files
.freepizza.fzn.icloud
freepizza.mzn
pizza27.dzn
pizza39.dzn
pizza45.dzn
pizza6.dzn
pizza78.dzn