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

我們試圖保持用戶級別的文檔了至今。開發人員級別可能隨時間而改變，可能缺少文檔。