tptp alternatives and similar packages

Based on the "Formal Methods" category.
Alternatively, view tptp alternatives based on common mentions on social networks and blogs.

what4

9.4 0.0 tptp VS what4

Symbolic formula representation and solver interaction library
hermit

9.0 0.0 tptp VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Updating dependencies is time-consuming.

Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

Promo blog.mergify.com

sbvPlugin

8.1 0.0 tptp VS sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.
smtlib2

6.6 0.0 tptp VS smtlib2

SMTLib2 interface implementation for Haskell
SmtLib

5.9 0.0 tptp VS SmtLib

Parser for smt-lib Command responses
afv

5.4 0.0 tptp VS afv

C model checking.
theoremquest

5.1 0.0 tptp VS theoremquest

A common library for TheoremQuest, a theorem proving game.
acl2

4.1 0.0 tptp VS acl2

Writing and calling ACL2 from Haskell.

Do you think we are missing an alternative of tptp or a related project?

Add another 'Formal Methods' Package

Popular Comparisons

README

tptp

TPTP (Thousands of Problems for Theorem Provers) is the standard language of problems, proofs, and models, used by automated theorem provers.

This library provides definitions of data types, a pretty printer and an attoparsec parser for the CNF, FOF, TFF0 and TFF1 subsets of the TPTP language.

See Hackage for the Haddock documentation.

tptp

Parser and pretty printer for the TPTP language

tptp alternatives and similar packages

Popular Comparisons

README

tptp