Skip to content

Version 1.2.1
Compare
Choose a tag to compare
@lex-lex lex-lex released this 31 Jul 11:33
· 4 commits to master since this release
v1.2.1
d7e1f66

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.1 updates:

  • Various bug fixes
  • Support for importing files from LegalRuleML format (experimental)
  • Updated parser to most recent NCL TPTP syntax
  • Various refactoring and updates in libraries

Simply download the pre-built executable JAR and run it using java -jar tptp-utils-app-1.2.1.jar, or build the tool from source using sbt.

Assets 3
Loading