JakubDob
Results
1
comments of
JakubDob
Interestingly, the order of constraints in the model seems to matter: ``` include "globals.mzn"; array [0..2] of var 0..2: a; constraint alldifferent([a[0],a[1],a[2]]); constraint a[0]=1; constraint a[1]=1; solve satisfy; ``` Here...