SAT解算器: SAT4J -更多的例子？

Question

我以前没有使用过SAT求解器，所以我开始学习如何使用SAT4J。大多数情况下，我使用它的API，但我发现有时很难理解一些参数(在类或方法中)意味着什么，或者它们的格式/类型是可接受的。例如：

public BinaryClause(IVecInt ps, ILits voc)

我的问题是，是否有一些使用示例，可以帮助我更多地理解SAT4j中实现的功能？

提前谢谢你！

Answer 1

您可以在单元测试中找到大多数特性的一些用法示例：http://www.sat4j.org/maven234/org.ow2.sat4j.core/xref-test/index.html

http://www.sat4j.org/maven234/org.ow2.sat4j.core/apidocs/index.html：BinaryClause类不适合最终用户使用

我们尝试维护最新的用户级文档。开发人员级别可能会随着时间的推移而变化，可能会缺少文档。