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