Class QbfSolver

java.lang.Object
org.tweetyproject.logics.qbf.reasoner.QbfSolver
All Implemented Interfaces:
BeliefSetConsistencyTester<PlFormula>, ConsistencyTester<BeliefSet<PlFormula,?>>
Direct Known Subclasses:
CadetSolver, CaqeSolver, GhostQSolver, QuteSolver

public abstract class QbfSolver extends Object implements BeliefSetConsistencyTester<PlFormula>
Abstract QBF sat solver to be implemented by concrete solvers.
Author:
Anna Gessler