JakubDob

For the given input model: ``` include "globals.mzn"; array [0..2] of var 0..2: a; constraint a[0]=1; constraint a[1]=1; constraint alldifferent([a[0],a[1],a[2]]); solve satisfy; ``` It returns: `a = [0: 1, 1:...