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 8.3 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 – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

sbvPlugin

8.2 5.6 smtlib2 VS sbvPlugin

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

5.6 0.0 smtlib2 VS SmtLib

Parser for smt-lib Command responses
afv

4.7 0.0 smtlib2 VS afv

C model checking.
theoremquest

4.3 0.0 smtlib2 VS theoremquest

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

3.9 0.0 smtlib2 VS tptp

Parser and pretty printer for the TPTP language
acl2

2.9 0.0 smtlib2 VS acl2

Writing and calling ACL2 from Haskell.