一组均等和不等式约束可满足性问题
我对CSP相对较新，我试图根据==，>，＆lt;来找到各自域中所有变量的值。和！=变量之间施加的约束。
我看着Choco和Jacop但是，我找不到更多关于解决这类问题的信息。
你能指点我到某个地方我可以找到这个例子的实现吗？
我用Prolog解决了这个问题，但我想用OOP来完成这个。
谢谢。
没有找到相关结果
已邀请:
1 个回复
功飘