A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1% testing Weibull distribution for float and int shape parameters
2% weibull(shape-param, scale-param)
3var float: x;
4var float: y;
5float: myFloat1 = weibull(10, 6.1); % Weibull distribution with integer shape parameter
6float: myFloat2;
7myFloat2 = weibull(1.2, 3.3); % Weibull distribution with float shape parameter
8constraint x + y < myFloat1;
9constraint x + y > myFloat2;
10
11solve satisfy;
12output ["x = ", show(x), "\ny = ", show(y)];