Package net.sf.tweety.logics.qbf.reasoner

Class Summary

Class	Description
CadetSolver	A wrapper for the Cadet (https://markusrabe.github.io/cadet/) solver.
CaqeSolver	A wrapper for the Caqe (https://www.react.uni-saarland.de/tools/caqe/ solver.
GhostQSolver	A wrapper for the GhostQ (https://www.wklieber.com/ghostq/) solver.
NaiveQbfReasoner	Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).
QbfSolver	Abstract QBF sat solver to be implemented by concrete solvers.
QuteSolver	A wrapper for the Qute (https://www.ac.tuwien.ac.at/research/qute/) solver.