zelen 0.5.1

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

% Test basic enum with var declaration  
enum Color = {Red, Green, Blue};

var Color: my_color;

solve satisfy;