mzn-rewriting/amaze/2012-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 / 2012-03-29.dzn

at develop 235 B view raw

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