iSATLibrary
インタフェース
ISatLibrary.IPASIR
ISatLibrary.ISATLIB
ISatSolver
SatSolverForNative.ICallback
クラス
ISatLibrary
SatSolverForNative
SatSolverForSat4j