A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1% testing the poisson distribution for both float and integer means
2var int: x;
3var int: y;
4int: myInt1 = poisson(7); % poisson distribution with int mean
5int: myInt2;
6myInt2 = poisson(2.2); % poisson distribution with float mean
7constraint x + y < myInt1;
8constraint x + y > myInt2;
9
10solve satisfy;
11output ["x = ", show(x), "\ny = ", show(y)];