クラスの使用
iSATLibrary.ISatSolver

iSATLibraryでのISatSolverの使用

ISatSolverを返すiSATLibraryのメソッド

修飾子とタイプ	メソッドと説明
ISatSolver	ISatSolver.ipasir_init(java.lang.String name) Constructs a new SAT solver.