Popularity
5.8
Growing
Activity
0.0
Stable
2
4
6
Monthly Downloads: 1
Programming language: Haskell
License: MIT License
Tags:
Math
Formal Methods
SmtLib alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view SmtLib alternatives based on common mentions on social networks and blogs.
Sevalla - Deploy and host your apps and databases, now with $50 credit!
Sevalla is the PaaS you have been looking for! Advanced deployment pipelines, usage-based pricing, preview apps, templates, human support by developers, and much more!
Promo
sevalla.com
Do you think we are missing an alternative of SmtLib or a related project?
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