choco - 在 Choco 模型中查找未满足的约束列表

Question

choco 中是否有一个函数可以检索模型中未满足的约束列表？

Answer 1

不，没有这样的功能。一旦约束不可满足或约束清空变量的域，搜索过程就会停止。因此，无论何时发生故障，都无法保证变量的域，这使得检索未满足的约束列表变得困难。您可以做的最好的事情是检索传播者列表并使用 isEntailed() 函数检查它们的状态。