Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

Testing and benchmarking tool for logic-related programs.

Haskell interface to automated theorem provers

Parser and pretty printer for the TPTP language

Run ATPs from SystemOnTPTP

A verification conditions generator for Boogie programs

A parser for the TPTP logic languages for automated theorem proving written in Scala

Boogie-less-triggers

Library for TPTP-related utility services

Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).

Example axiom and problem files within the TPTP Format

TPTP problems and TSTP solutions of problems in classical propositional logic.

A translator from TPTP to SMT-LIB

A reasoner for Input/Output logic

TPTP to dimacs converter

Parser for TPTP axiom and problem files

backup of @thahmann's macleod (python2 version) from april 2016 commit

Stand-alone Skolemizer for TPTP formulas