Class SatSolver

java.lang.Object
org.tweetyproject.logics.pl.sat.SatSolver
All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>, ConsistencyWitnessProvider<PlBeliefSet,PlFormula>
Direct Known Subclasses:
DimacsSatSolver, MaxSatSolver, SimpleDpllSolver

public abstract class SatSolver extends Object implements BeliefSetConsistencyTester<PlFormula>, ConsistencyWitnessProvider<PlBeliefSet,PlFormula>
Abstract class for specifying SAT solvers. Also includes methods to convert knowledge bases into the Dimacs format.
Author:
Matthias Thimm