Package org.tweetyproject.logics.qbf.parser


package org.tweetyproject.logics.qbf.parser
  • Class
    Description
    This class implements a parser for quantified boolean formulas.
    This class implements a parser for the QCIR (Quantified CIRcuit) format.
    This class implements a parser for the QDIMACS input format.
    Possible answers that solvers can find for a given QDIMACS problem.