tptp
There are 20 repositories under tptp topic.
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
sneeuwballen/benchpress
Testing and benchmarking tool for logic-related programs.
aztek/atp
Haskell interface to automated theorem provers
aztek/tptp
Parser and pretty printer for the TPTP language
jonaprieto/online-atps
Run ATPs from SystemOnTPTP
aztek/voogie
A verification conditions generator for Boogie programs
leoprover/scala-tptp-parser
A parser for the TPTP logic languages for automated theorem proving written in Scala
elhaddadyacine/ekstrakto
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
emptylambda/BLT
Boogie-less-triggers
leoprover/tptp-utils
Library for TPTP-related utility services
aureleeNet/rio
A reasoner for Input/Output logic
aztek/tptp2smt
A translator from TPTP to SMT-LIB
Brandon-Rozek/TPTP-Examples
Example axiom and problem files within the TPTP Format
jonaprieto/prop-pack
TPTP problems and TSTP solutions of problems in classical propositional logic.
carmenchui/macleod_py2
backup of @thahmann's macleod (python2 version) from april 2016 commit
leoprover/ask
Stand-alone Skolemizer for TPTP formulas
lisphacker/cl-tptp-parser
Parser for TPTP axiom and problem files
Mateusz-Grzelinski/TPTP_converter
TPTP to dimacs converter