zelen 0.5.1

Direct MiniZinc to Selen Solver
Documentation 
1
2
3
4
5
6
7
8
9

% Test: Float-only variables - edge case with only floats
var float: x;
var float: y;
var float: z;

constraint x + y = 10.5;
constraint z >= 0.0;

solve satisfy;