zelen 0.5.1

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

% Test: Undefined variable reference
var 1..10: x;
var 1..10: y;

% ERROR: using undefined variable 'z'
constraint x + z = 15;

solve satisfy;