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

我们尝试更新用户级文档。开发人员级别可能会随着时间而变化，可能缺乏文档。