tptp-utils is an application for pre- and post-processing automated theorem proving input files (so-called problem files) given in the TPTP (Thousands of Problems for Theorem Proving) syntax standard. It is written in Scala and freely available as open-source software.
Version 1.2.3 updates:
- Update of parser library (new NCL TPTP syntax)
Simply download the pre-built executable JAR and run it using java -jar tptp-utils-app-1.2.3.jar, or build the tool from source using sbt.