SAT 求解器：SAT4J - 更多示例？

SAT Solver: SAT4J - more examples?

我之前没有用过SAT求解器，所以我开始学习如何使用SAT4J。大多数情况下，我正在使用它的 API，但有时我发现很难理解某些参数（在 类 或方法中）的含义或它们的 format/type 是可接受的。例如：

public BinaryClause(IVecInt ps, ILits voc)

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

提前致谢！

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

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

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