一组等式和不等式约束可满足性问题

Question

我对CSP相对较新，我试图根据==，＆gt;，＆lt;找到各自域名中所有变量的值。和！=变量之间施加的约束。 我看着Choco和Jacop但是，我找不到更多关于解决这类问题的信息。 你能指点我到某个地方我可以找到这个例子的实现吗？ 我用Prolog解决了这个问题，但是我想用OOP来完成这个。

谢谢。

Answer 1

您描述的问题类型是约束编程问题的直接描述，假设变量具有可以映射到整数的有限域。

所有CP系统都具有运行有限域整数所需的运算符，因此应该很简单。

如果您尝试使用无界域或真实域来解决变量，那么有一些工具可以帮助您，但它们并不常见。