this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 x: []
7***/
8
9% Regression test: the frontend was not pushing the coercions into *both*
10% arguments of the array1d cast. This was leading to mzn2fzn to fail
11% because the types in the assignment did not match.
12
13array[1..0] of var int: x :: add_to_output = array1d({}, []);
14solve satisfy;