zelen 0.5.1

Direct MiniZinc to Selen Solver
Documentation
1
2
3
4
5
6
% Test enum 2D array
enum Color = {Red, Green, Blue};

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

solve satisfy;