mzn-rewriting/amaze/2012-03-19.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / amaze / 2012-03-19.dzn

at develop 222 B view raw

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