A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1% testing the Bernoulli distribution for both float and integer means
2bool: myBool1;
3bool: myBool2 = bernoulli(0.3);
4var int: x;
5var int: y;
6myBool1 = bernoulli(0.7);
7
8constraint
9 myBool1 -> x + y = 0;
10constraint
11 myBool2 -> x > 3;
12
13solve satisfy;
14output ["x = ", show(x), "\ny = ", show(y)];