mzn-rewriting/amaze/2012-07-27.dzn at develop · dekker.one/bytecode-benchmarks

A set of benchmarks to compare a new prototype MiniZinc implementation

bytecode-benchmarks / mzn-rewriting / amaze / 2012-07-27.dzn

at develop 241 B view raw

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