Class QbfExample

java.lang.Object
org.tweetyproject.logics.qbf.examples.QbfExample

public class QbfExample extends Object
Some general examples for quantified boolean formulas and for parsers and writers.
Author:
Anna Gessler