Package org.tweetyproject.arg.adf.sat
Interface IncrementalSatSolver
-
- All Known Implementing Classes:
NativeLingelingSolver
,NativeMinisatSolver
,NativePicosatSolver
public interface IncrementalSatSolver
-
-
Method Summary
Modifier and Type Method Description SatSolverState
createState()
-
-
-
Method Detail
-
createState
SatSolverState createState()
-
-