net.sf.tweety.logics.ml
Classes
MleanCoPTest
ModalParserTest
ModalReasonerTest
SPASSTest