Package org.tweetyproject.arg.adf.sat
Class NativePicosatSolver
- java.lang.Object
-
- org.tweetyproject.arg.adf.sat.NativePicosatSolver
-
- All Implemented Interfaces:
IncrementalSatSolver
public final class NativePicosatSolver extends java.lang.Object implements IncrementalSatSolver
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description NativePicosatSolver()
-
Method Summary
Modifier and Type Method Description SatSolverState
createState()
-
-
-
Method Detail
-
createState
public SatSolverState createState()
- Specified by:
createState
in interfaceIncrementalSatSolver
-
-