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 / 46.dzn
at develop 16 lines 256 B view raw
1A = 2; 2T = 8; 3X = 9; 4Y = 9; 5Z = 2; 6building = array2d(YY,XX, [ 7 0,0,0,0,0,0,0,0,0, 8 0,0,0,0,0,0,0,0,0, 9 0,0,0,0,0,0,0,0,0, 10 0,0,0,0,0,0,0,0,0, 11 0,0,0,1,0,0,0,0,0, 12 0,0,0,0,0,0,0,0,0, 13 0,0,0,0,0,0,0,0,0, 14 0,0,0,0,0,0,0,0,0, 15 0,0,0,0,0,0,0,0,0, 16]);