SmtLib alternatives and similar packages

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

what4

9.4 8.8 SmtLib VS what4

Symbolic formula representation and solver interaction library
hermit

9.0 0.0 SmtLib VS hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel

Developer Ecosystem Survey 2022

Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.

Promo surveys.jetbrains.com

sbvPlugin

8.1 6.3 SmtLib VS sbvPlugin

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

6.9 0.0 SmtLib VS smtlib2

SMTLib2 interface implementation for Haskell
afv

4.7 0.0 SmtLib VS afv

C model checking.
theoremquest

4.2 0.0 SmtLib VS theoremquest

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

3.6 0.0 SmtLib VS tptp

Parser and pretty printer for the TPTP language
acl2

2.9 0.0 SmtLib VS acl2

Writing and calling ACL2 from Haskell.

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

Add another 'Formal Methods' Package

Popular Comparisons

README

Smtlib

SMTLib2 parsers.

A library with SMTLib2 syntax and parsers for commands and their responses.

How to parse a smtlib2 file:

import Smtlib.Parsers.CommandsParsers
import Smtlib.Syntax.Syntax
import Text.ParserCombinators.Parsec

parseFile :: FilePath -> IO (Either ParseError Source)
parseFile x = parse parseSource "" <$> readFile x

SmtLib

Parser for smt-lib Command responses

SmtLib alternatives and similar packages

Popular Comparisons

README

Smtlib