Class | Description |
---|---|
MleanCoPTest |
JUnit Test class for MleanCoP.
|
ModalParserTest |
JUnit Test class for ModalParser.
|
ModalReasonerTest |
JUnit Test class for NaiveModalReasoner.
|
SPASSTest |
JUnit Test class for SPASS Prover for modal formulas.
|