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.