Package org.tweetyproject.arg.adf.sat

Interface IncrementalSatSolver

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