dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / depot-placement /
at develop 25 files
a280_4.dzn
a280_5.dzn
a280_6.dzn
att48_4.dzn
att48_5.dzn
att48_6.dzn
depot_placement.mzn
rat99_4.dzn
rat99_5.dzn
rat99_6.dzn
st70_4.dzn
st70_5.dzn
st70_6.dzn
ts225_4.dzn
ts225_5.dzn
ts225_6.dzn
u159_4.dzn
u159_5.dzn
u159_6.dzn
ulysses16_4.dzn
ulysses16_5.dzn
ulysses16_6.dzn
ulysses22_4.dzn
ulysses22_5.dzn
ulysses22_6.dzn