问Choco Sat公式
EN

Stack Overflow用户

提问于 2017-01-09 20:53:40

回答 0查看 334关注 0票数 1

我正在尝试使用Choco 4.0.1对SAT公式进行建模。我读了docs，我试图从javadoc中理解，但不幸的是我到目前为止都失败了。这是我第一次研究这些类型的问题，也是巧克力。所以，我可能是在问一些非常明显的问题。

我需要向模型添加一些约束，比如(每个变量都是一个BoolVar)：

x <-> (a and -b)

我试图在模型中使用ifOnlyIf方法，但我不知道如何对变量求反，或者使用and。有没有人能给我提供一些(理想情况下)示例代码，或者关于如何对这些类型的约束建模的任何想法？

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/41548543

复制

相似问题

问Choco Sat公式EN