Package org.tweetyproject.arg.adf.sat

Interface IncrementalSatSolver

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

  • Method Summary

    Modifier and Type
    Method
    Description
    SatSolverState
    createState()
     

  • Method Details