Package org.tweetyproject.logics.qbf.writer

package org.tweetyproject.logics.qbf.writer

Classes

Class	Description
QdimacsWriter	Converts belief bases to QDIMACS format and prints them.