dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / groupsplitter / u7g2pref1.meta
at develop 94 B view raw
1MODEL=group.mzn 2DATA=u7g2pref1.dzn 3METHOD=max 4TAGS=challenge2019,groupsplitter 5TIMELIMIT=1200