LoTREC Generic Tableau Prover

LoTREC 2.0 is the latest available stable version. You can get the:

• Executable package - April 21, 2010 - Instructions
• Source Code package - April 21, 2010 - Instructions
• Additional librairies will be needed

LoTREC is available under the Free Software Licensing Agreement.

Also available:

• LoTREC prior version (not recommended) - last update: November, 2004