dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / bug259.exp
at develop 107 B view raw
1sz[1][1][1][1] = 1 2sz[1][2][1][5] = 1 3pz[1][1][1][2][13] = 1 4pz[1][2][1][1][13] = 1 5 6---------- 7==========