Package net.sf.tweety.arg.adf.sat

Interface Summary

Interface	Description
SatSolverState	A high level representation of a sat solver state.

Class Summary

Class	Description
AsynchronousCloseSatSolverState	The cleanup after the AsynchronousCloseSatSolverState.close() call happens (possibly) in a separate thread, depending on the provided executor.
AsynchronousSatSolverState	Executes all operations of the underlying SatSolverState in a (possibly) separate thread, determined by the provided ExecutorService.
IncrementalSatSolver
NativeLingelingSolver	Experimental lingeling binding
NativeMinisatSolver
NativePicosatSolver
SimpleIncrementalSatSolver	A simple wrapper which can be used where instances of IncrementalSatSolver are needed.
SimpleSatSolverState	A dummy state that can be used in combination with non-incremental Sat-Solvers and SimpleIncrementalSatSolver at positions where a SatSolverState is required.