Package org.tweetyproject.logics.qbf.parser

package org.tweetyproject.logics.qbf.parser

Class	Description
QbfParser	This class implements a parser for quantified boolean formulas.
QCirParser	This class implements a parser for the QCIR (Quantified CIRcuit) format.
QdimacsParser	This class implements a parser for the QDIMACS input format.
QdimacsParser.Answer	Possible answers that solvers can find for a given QDIMACS problem.