クラスと説明 |
---|
ISatLibrary
This class is the library to use incremental SAT APIs through JNA.
|
ISatSolver |
SatSolverForNative
This class is for using incremental SAT library API (IPASIR)
and its extended API available from Java.
|
SatSolverForNative.ICallback |