dekker.one / half-reif-benchmarks
The models, scripts, and results of the benchmarks performed for a Half Reification Journal paper
fork atom
half-reif-benchmarks / data / mznc2020 / collaborative-construction / 455.dzn
at develop 14 lines 187 B view raw
1A = 2; 2T = 14; 3X = 7; 4Y = 7; 5Z = 3; 6building = array2d(YY,XX, [ 7 0,0,0,0,0,0,0, 8 0,0,2,0,0,0,0, 9 0,0,2,0,0,0,0, 10 0,0,0,0,0,0,0, 11 0,0,0,0,0,0,0, 12 0,0,0,0,0,0,0, 13 0,0,0,0,0,0,0, 14]);