Package org.tweetyproject.arg.adf.sat
-
Interface Summary Interface Description IncrementalSatSolver SatSolverState A high level representation of a sat solver state.SatSolverStatePool -
Class Summary Class Description AsynchronousCloseSatSolverState The cleanup after theAsynchronousCloseSatSolverState.close()
call happens (possibly) in a separate thread, depending on the provided executor.AsynchronousSatSolverState Executes all operations of the underlyingSatSolverState
in a (possibly) separate thread, determined by the providedExecutorService
.NativeLingelingSolver Experimental lingeling bindingNativeMinisatSolver NativePicosatSolver