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 IncrementalSatSolver NativeLingelingSolver Experimental lingeling bindingNativeLingelingSolver.LingelingSolverState SimpleIncrementalSatSolver A simple wrapper which can be used where instances ofIncrementalSatSolver
are needed.SimpleSatSolverState A dummy state that can be used in combination with non-incremental Sat-Solvers andSimpleIncrementalSatSolver
at positions where a SatSolverState is required.