zelen 0.5.1

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

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

array[1..3] of var Color: colors;

constraint alldifferent(colors);

solve satisfy;