smtlib2: A type-safe interface to communicate with an SMT solver.

[ formal-methods, gpl, library, smt, symbolic-computation, theorem-provers ] [ Propose Tags ]
Versions [faq] 0.1, 0.2, 0.3, 0.3.1, 1.0
Dependencies array, atto-lisp (==0.2.*), attoparsec, base (==4.*), blaze-builder, bytestring, constraints, containers, data-fix, mtl, process, tagged, text, transformers [details]
License GPL-3.0-only
Author Henning Günther <guenther@forsyte.at>
Maintainer guenther@forsyte.at
Category SMT, Formal Methods, Theorem Provers, Symbolic Computation
Source repo head: git clone https://github.com/hguenther/smtlib2.git
Uploaded by HenningGuenther at 2015-01-27T10:25:59Z
Distributions NixOS:1.0
Downloads 3586 total (3 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-01-27 [all 1 reports]

Modules

[Index]

Flags

NameDescriptionDefaultType
withconstraints

Enables the use of the constraint-kind extension which is needed to parse map-expressions.

EnabledAutomatic
withdatakinds

Enables the use of the data-kinds extension which is needed for typed bitvectors.

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees