CODEWITHSUNDEEP
choco
Saman A. Barakat
Saman A. Barakat

Reputation: 1

Finding the list of unsatisfied constraints in the Choco model

Is there a function in choco that retrieves the list of unsatisfied constraints in the model?

Upvotes: 0

Views: 61

Answers (1)

Arthur Godet
Arthur Godet

Reputation: 71

No, there is no such function. The search process stops as soon as a constraint is unsatisfiable or as soon as a constraint has emptied the domain of a variable. Therefore, whenever a fail happens, there is no guarantee whatsoever on the variables' domains, which make things difficult to retrieve the list of unsatisfied constraints. The best you can do is to retrieve the list of propagators and check their status using the isEntailed() function.

Upvotes: 0

Related Questions