Class QDIMACSTest

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

public class QDIMACSTest extends Object
Test class for parsing QDIMACS files.
Author:
Anna Gessler