インタフェース | 説明 |
---|---|
ISatLibrary.IPASIR | |
ISatLibrary.ISATLIB | |
ISatSolver | |
SatSolverForNative.ICallback |
クラス | 説明 |
---|---|
ISatLibrary |
This class is the library to use incremental SAT APIs through JNA.
|
SatSolverForNative |
This class is for using incremental SAT library API (IPASIR)
and its extended API available from Java.
|
SatSolverForSat4j |
This class is for solving problem by using sat4j as backend SAT solver.
|