See the entry page of the project for more introduction.

Getting Started

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