solver - 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

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

我们试图保持用户级别的文档是最新的。开发人员级别可能会随着时间而改变，可能缺少文档。