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

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

Run ATPs from SystemOnTPTP

A verification conditions generator for Boogie programs

Library for TPTP-related utility services

Efficient and multi-language generation from CFG grammars and beyond

Boogie-less-triggers

A translator from TPTP to SMT-LIB

Example axiom and problem files within the TPTP Format

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

A reasoner for Input/Output logic

Parser for TPTP axiom and problem files

TPTP ensemble/portfolio theorem prover runner and benchmark harness

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

TPTP to dimacs converter

No description provided.

Stand-alone Skolemizer for TPTP formulas