动态灵活约束满足问题

Question

我正在寻找一种能够解决灵活和/或动态约束的逻辑约束求解器。有什么想法吗？

Answer 1

看看OptaPlanner（Java，开源，ASL）：

• 动态（因为随着时间的推移不断变化）：OptaPlanner约束是维护友好的，因为它们是面向对象的并且彼此隔离。此外，如果您使用drools集成，您甚至可以在决策表中定义约束，guvnor Web应用程序，......
• 灵活（因为并非所有约束都很难）：OptaPlanner支持hard and soft constraints开箱即用。如果需要，它支持分数加权和3+分数级别（例如硬，中和软）。

还有其他几个约束满足库。

Answer 2

“通过动态，我的意思是如果问题中的约束随着时间的推移而不断变化” - ＆gt;这在Constraint Programming中没有意义。约束不会改变。只有变量域可以改变（通过约束传播或决策）。

“灵活的我的意思是如果约束不是硬 - 一些约束当然不能满足成本;一些约束更重要。它们带有权重或等级或者有成本函数求解者试图保持最小的解决问题。“ - ＆GT;好吧基本上你正在尝试解决Max-CSP和/或Weighted-CSP问题。我建议您查看一个支持最大和/或加权CSP的CSP竞赛（例如http://www.cril.univ-artois.fr/CPAI08/）。您还可以检查Minizinc的http://www.minizinc.org（但我不确定它是否支持最大/加权CSP）。

你想解决什么样的问题？