| 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.
|