zelen 0.5.1

Direct MiniZinc to Selen Solver
Documentation 
1
2
3
4
5

% Test: Duplicate variable declaration
var 1..10: x;
var 1..20: x;  % ERROR: variable 'x' already declared

solve satisfy;