Package org.tweetyproject.logics.ml

package org.tweetyproject.logics.ml

Class Summary

Class	Description
MleanCoPTest	JUnit Test class for the MleanCoP reasoner.
MlParserTest	JUnit Test class for ModalParser.
MlReasonerTest	JUnit Test class for NaiveModalReasoner.
SPASSTest	JUnit Test class for SPASS Prover for modal formulas.