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

smtlib2 alternatives and similar packages

Based on the "Formal Methods" category

• hermit

  9.1 0.0 smtlib2 VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel

• sbvPlugin

  8.1 2.1 smtlib2 VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT

• SmtLib

  5.5 0.0 smtlib2 VS SmtLib

  Library for parsing SMTLIB2

• afv

  5.2 0.0 smtlib2 VS afv

  Infinite state model checking of iterative C programs.

• acl2

  4.3 0.0 smtlib2 VS acl2

  Writing and calling ACL2 from Haskell.

• theoremquest

  4.0 0.0 smtlib2 VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

• tptp

  1.9 8.1 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
• smtlib2
  vs
  acl2
• sbvPlugin
  vs
  nimber

SaaSHub - Software Alternatives and Reviews View more from us