hasmtlib: A monad for interfacing with external SMT solvers
Hasmtlib is a library for generating SMTLib2-problems using a monad. It takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types. It is highly inspired by ekmett/ersatz which does the same for QSAT. Communication with external solvers is handled by tweag/smtlib-backends.
[Skip to Readme]
Modules
[Index] [Quick Jump]
- Language
- Language.Hasmtlib
- Language.Hasmtlib.Boolean
- Language.Hasmtlib.Codec
- Language.Hasmtlib.Counting
- Internal
- Solver
- Type
- Language.Hasmtlib.Type.ArrayMap
- Language.Hasmtlib.Type.Bitvec
- Language.Hasmtlib.Type.Debugger
- Language.Hasmtlib.Type.Expr
- Language.Hasmtlib.Type.MonadSMT
- Language.Hasmtlib.Type.OMT
- Language.Hasmtlib.Type.Option
- Language.Hasmtlib.Type.Pipe
- Language.Hasmtlib.Type.Relation
- Language.Hasmtlib.Type.SMT
- Language.Hasmtlib.Type.SMTSort
- Language.Hasmtlib.Type.Solution
- Language.Hasmtlib.Type.Solver
- Language.Hasmtlib.Type.Value
- Language.Hasmtlib.Variable
- Language.Hasmtlib
Downloads
- hasmtlib-2.8.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.0, 1.0.1, 1.0.2, 1.1.0, 1.1.1, 1.1.2, 1.2.0, 1.3.0, 1.3.1, 2.0.0, 2.0.1, 2.1.0, 2.2.0, 2.3.0, 2.3.1, 2.3.2, 2.4.0, 2.5.0, 2.5.1, 2.6.0, 2.6.1, 2.6.2, 2.6.3, 2.7.0, 2.7.1, 2.7.2, 2.8.0, 2.8.1 |
---|---|
Change log | CHANGELOG.md |
Dependencies | array (>=0.5 && <1), attoparsec (>=0.14.4 && <1), base (>=4.17.2 && <5), bitvec (>=1.1.5 && <2), bytestring (>=0.11.5 && <1), constrained-some (>=0.1 && <0.2), containers (>=0.6.7 && <1), data-default (>=0.7.1 && <1), dependent-map (>=0.4 && <1), finite-typelits (>=0.1.0 && <1), lens (>=5 && <6), lifted-base (>=0.2 && <0.5), monad-control (>=1.0 && <1.2), mtl (>=2.2.2 && <3), smtlib-backends (>=0.4 && <0.5), smtlib-backends-process (>=0.3 && <0.4), some (>=1.0.6 && <1.1), text (>=2.0.2 && <3), unordered-containers (>=0.2.20 && <0.3), utf8-string (>=1.0.2 && <2), vector-sized (>=1 && <2) [details] |
Tested with | ghc ==9.4.8, ghc ==9.6.4, ghc ==9.8.2, ghc ==9.10.1 |
License | GPL-3.0-only |
Copyright | © 2024 Julian Bruder |
Author | Julian Bruder |
Maintainer | julian.bruder@outlook.com |
Category | SMT, Logic |
Home page | https://github.com/bruderj15/Hasmtlib |
Bug tracker | https://github.com/bruderj15/Hasmtlib/issues |
Uploaded | by bruderj15 at 2024-11-29T13:23:15Z |
Distributions | |
Downloads | 566 total (82 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |