clpfd - Sicstus 4.2.3 和 4.3.0 之间的 time_out 差异标签

Question

在 Sicstus 4.2.3 中，可以这样做：

| ?- X in 0..2, labeling( [minimize(X), time_out(1000, Lr)],[X] ). 
X = 0,
Lr = success ? yes
| ?- 

如果你在 Sicstus 4.3.0 中做同样的事情，你会得到：

| ?- X in 0..2, labeling( [minimize(X), time_out(1000, Lr)],[X] ). 
X = 0 ? yes
| ?- 

Lr 4.3.0发生了什么？

您如何知道您在 4.3.0 中获得的解决方案是最佳解决方案还是非最佳解决方案？

Answer 1

这当然是一个错误。Lr 应该绑定到“成功”。在 Lr 未绑定的情况下，不知道解决方案是否是最优的。

感谢您报告此事！