Uses of Package
net.sf.tweety.logics.ml.writer

Packages that use net.sf.tweety.logics.ml.writer

Package	Description
net.sf.tweety.logics.ml

Classes in net.sf.tweety.logics.ml.writer used by net.sf.tweety.logics.ml

Class and Description
SPASSWriter This class prints single first-order modal logic formulas and knowledge bases to the SPASS format.