smtlib2 alternatives and similar packages

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

• what4

  9.4 8.8 smtlib2 VS what4

  Symbolic formula representation and solver interaction library
  

• hermit

  9.0 0.0 smtlib2 VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms



• sbvPlugin

  8.2 0.3 smtlib2 VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• SmtLib

  6.3 0.0 smtlib2 VS SmtLib

  Parser for smt-lib Command responses
  

• afv

  4.8 0.0 smtlib2 VS afv

  C model checking.

• theoremquest

  4.4 0.0 smtlib2 VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

• tptp

  3.3 2.8 smtlib2 VS tptp

  Parser and pretty printer for the TPTP language

• acl2

  3.0 0.0 smtlib2 VS acl2

  Writing and calling ACL2 from Haskell.

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

Scout APM: A developer's best friend. Try free for 14-days sponsored scoutapm.com

Popular Comparisons

• smtlib2
  vs
  units
• smtlib2
  vs
  acl2
• smtlib2
  vs
  nimber
• what4
  vs
  nuha
• smtlib2
  vs
  acl2

SaaSHub - Software Alternatives and Reviews sponsored www.saashub.com