dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / train /
at develop 16 files
instance.1.dzn
instance.10.dzn
instance.11.dzn
instance.12.dzn
instance.13.dzn
instance.14.dzn
instance.15.dzn
instance.2.dzn
instance.3.dzn
instance.4.dzn
instance.5.dzn
instance.6.dzn
instance.7.dzn
instance.8.dzn
instance.9.dzn
train.mzn