A type-safe interface to communicate with an SMT solver.

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.4 smtlib2 VS what4

  Solver-agnostic symbolic values support for issuing queries

• hermit

  9.0 0.0 smtlib2 VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel

Get performance insights in less than 4 minutes

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Sponsored scoutapm.com



• sbvPlugin

  8.2 4.0 smtlib2 VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• SmtLib

  6.1 0.0 smtlib2 VS SmtLib

  Library for parsing SMTLIB2

• afv

  5.1 0.0 smtlib2 VS afv

  Infinite state model checking of iterative C programs.

• theoremquest

  4.1 0.0 smtlib2 VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

• acl2

  3.3 0.0 smtlib2 VS acl2

  Writing and calling ACL2 from Haskell.

• tptp

  2.3 4.4 smtlib2 VS tptp

  A parser and a pretty printer for the TPTP language

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

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