Skip to content

Latest commit

 

History

History
8 lines (6 loc) · 401 Bytes

README.md

File metadata and controls

8 lines (6 loc) · 401 Bytes

See the entry page of the project for more introduction.

Getting Started

  1. This project is built using maven;
  2. Use option "--help" for a brief usage;
  3. Translate a RuleML file by calling "java -jar /path/to/ruleml2tptp.jar <input> -o <output>";
  4. This project needs JDK 1.7 or higher to compile the Java code.