Closed jmarton closed 7 years ago
Synopsis: AllDifferent( list_of_edge_variables ), e.g. AllDifferent([_e1, _e2, _e3])
AllDifferent( list_of_edge_variables )
AllDifferent([_e1, _e2, _e3])
Fixed in c97eef4c4d5c4d9adf8e4f8de1b815c8bf2fe33a.
Synopsis:
AllDifferent( list_of_edge_variables )
, e.g.AllDifferent([_e1, _e2, _e3])