Is MiniZinc better than writing my constraint solution in Ruby / Python
% Basic MiniZine example
var 2..4: x;
var 1..2: y;
constraint x + y < 7;
solve satisfy;
% Basic MiniZine example
var 2..4: x;
var 1..2: y;
constraint x + y < 7;
solve satisfy;