mzn-rewriting/amaze/mod2012-03-29.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / amaze / mod2012-03-29.dzn

at develop 301 B view raw

1X = 14;
2Y = 10;
3N = 13;
4
5end_points_start_x = [ 3, 3,  2,  1,  3, 4, 3, 7, 5,10, 11, 12, 14];
6end_points_start_y = [ 6, 5,  2,  1,  7, 5, 8, 3, 4, 3,  6,  9, 10];
7end_points_end_x   = [10, 6, 12, 11, 10, 6, 7, 8, 6, 8, 13, 13, 12];
8end_points_end_y   = [ 2, 5,  8,  4,  4, 7, 7, 8, 6, 5, 10,  2,  4];