LotrecScheme

Graphical generic tool for tableau methods

Lotrecscheme is graphical generic tool for designing tableau methods. It contains a SAT solver for several variants of modal logics.

Videos

Installation

The software can been downloaded here: lotrecscheme.zip You then extract the files and run the file dist/lotrecscheme.jar. For instance, open a terminal and write 'java -jar dist/lotrecscheme.jar'.

Licence

Lotrecscheme is under GNU GENERAL PUBLIC LICENSE version 3.

Publications

François Schwarzentruber. LotrecScheme. In M4M Osuna, November 2011.

User Manual

You can find the user manual here: Manual

Last Modification : 12/09/2008