dekker.one / mzn-byte-benchmarks
Repository containing the benchmark experiments for the MiniZinc Bytecode compiler
fork atom
mzn-byte-benchmarks / flatten / freepizza /
at develop 6 files
freepizza.mzn
pizza27.dzn
pizza39.dzn
pizza45.dzn
pizza6.dzn
pizza78.dzn