corail-research/learning-generic-csp

allDifferent with functions

Closed this issue · 0 comments

There is currently no support for constraints like

< allDifferent id=" diag1 ">
    add (x[0] ,0) add (x[1] ,1) add (x[2] ,2) add (x[3] ,3)
    add (x[4] ,4) add (x[5] ,5) add (x[6] ,6) add (x[7] ,7)
</ allDifferent >