Package org.tweetyproject.logics.qbf.test

package org.tweetyproject.logics.qbf.test

Classes

Class	Description
QbfTest	Test class for basic qbf functionalities.
QCIRTest	Test class for parsing QCIR files.
QDIMACSTest	Test class for parsing QDIMACS files.