tptp-utils v1.2.3

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.