Package net.sf.tweety.logics.qbf.writer

Class Summary

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