dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / minizinc / docs / chi / examples / layout.dzn
at develop 218 B view raw
1pixelwidth = 100; 2maxlines = 9; 3 4rows = 3; 5cols = 3; 6 7sizes = [| [60,35,24], [70,43,30,20], [30,20,15] 8 | [70,43,30,20], [30,20,15], [15] 9 | [60,35,24], [70,43,30,20], [30,18,12] |];