Class QbfExample
java.lang.Object
org.tweetyproject.logics.qbf.examples.QbfExample
Some general examples for quantified boolean formulas and for parsers and
writers.
- Author:
- Anna Gessler
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
QbfExample
public QbfExample()
-
-
Method Details
-
main
- Throws:
ParserException
IOException
-