zelen 0.5.1

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

% Test basic enum functionality
enum Color = {Red, Green, Blue};

var Color: my_color;

constraint my_color != Red;

solve satisfy;