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()
```