dekker.one / mzn-byte-benchmarks
This repository has no description
Star
Fork 0
Watch
mzn-byte-benchmarks flatten groupsplitter
6 files
group.mzn
u12g2pref1.dzn
u15g5pref0.dzn
u6g1pref1.dzn
u7g2pref1.dzn
u9g1pref1.dzn