Class QbfTest

java.lang.Object
org.tweetyproject.logics.qbf.test.QbfTest

public class QbfTest extends Object
Test class for basic qbf functionalities.
Author:
Anna Gessler