修飾子とタイプ | クラスと説明 |
---|---|
class |
SatSolverForNative
This class is for using incremental SAT library API (IPASIR)
and its extended API available from Java.
|
class |
SatSolverForSat4j
This class is for solving problem by using sat4j as backend SAT solver.
|
修飾子とタイプ | メソッドと説明 |
---|---|
ISatSolver |
SatSolverForSat4j.init() |
ISatSolver |
ISatSolver.init() |