Interface IncrementalSatSolver

All Known Implementing Classes:
NativeLingelingSolver, NativeMinisatSolver, NativePicosatSolver, PooledIncrementalSatSolver
public interface IncrementalSatSolver
IncrementalSatSolver interface
Author:
Matthias Thimm

  • Method Summary

    Modifier and Type
    Method
    Description
    SatSolverState
    createState()
    Return createState

  • Method Details

    • createState

      SatSolverState createState()
      Return createState
      Returns:
      createState