SATソルバー：SAT4J - もっと多くの事例？

Question

私はSATソルバーの前に使っていないので、私はSAT4Jの使い方を学び始めました。ほとんどの場合、私はAPIを使用していますが、時にはクラスやメソッドのいくつかの引数が意味するものや、そのフォーマット/タイプが受け入れ可能なものが何であるかを理解することが難しいと感じています。たとえば、次のようにもっとSAT4jで実装されている機能を理解する上で私を助けることができるいくつかの使用例は、存在する場合

public BinaryClause(IVecInt ps, ILits voc) 

私の質問はありますか？

ありがとうございます！

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

私たちは、ユーザーレベルのドキュメントのアップを維持しよう現在まで。開発者のレベルは、時間の経過と共に変化する可能性があり、文書が不足する可能性があります。