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

  Symbolic formula representation and solver interaction library
  

• hermit

  8.9 0.0 smtlib2 VS hermit

  Haskell Equational Reasoning Model-to-Implementation Tunnel
  

InfluxDB - Purpose built for real-time analytics at any scale.

InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

Promo www.influxdata.com



• sbvPlugin

  8.2 6.1 smtlib2 VS sbvPlugin

  Formally prove properties of Haskell programs using SBV/SMT.

• SmtLib

  5.9 0.0 smtlib2 VS SmtLib

  Parser for smt-lib Command responses
  

• afv

  5.1 0.0 smtlib2 VS afv

  C model checking.

• theoremquest

  4.8 0.0 smtlib2 VS theoremquest

  A common library for TheoremQuest, a theorem proving game.

• tptp

  4.6 0.0 smtlib2 VS tptp

  Parser and pretty printer for the TPTP language

• acl2

  3.6 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?

SaaSHub - Software Alternatives and Reviews

featured www.saashub.com

Popular Comparisons

• smtlib2
  vs
  tptp
• smtlib2
  vs
  units
• smtlib2
  vs
  acl2
• smtlib2
  vs
  nimber
• smtlib2
  vs
  tptp