LoTREC Generic Tableau Prover

System Requirements:
- Java Devloppement Kit (JDK) 6 (or later)
- A convenient IDE (such as NetBeans IDE 6.5 (or later))

Installation:

• Download the source code. Unpack it and then in an Ant Project, put the sources in "src"
• Download the library files. Unpack it and then :
  • Assign jar files of "Cytoscape_plugins" as Runtime libraries
  • Add the rest of jar files in your "lib" project folder
• Clean and build your project

We apologize for lack of documentation in the sources.

For feedbacks or more details, please use our Contact form...