@hackage Hsmtlib2.8.8.8

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.

Categories
License
BSD-3-Clause
Maintainer
numicola@gmail.com and rogerp062@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 2.8.8.8 Fri, 18 Jul 2014
- 0.2.0.6 Fri, 18 Jul 2014

Installation
In your cabal file:
Dependencies (7)
- base >=4.7 && <4.8
- containers >=0.5 && <0.6
- parsec >=3.1 && <3.2
- pretty >=1.1 && <1.2
- process >=1.2 && <1.3
- smtLib >=1.0 && <1.1
Dependents (1)
@hackage/acme-everything

Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2. The current suported solvers are Cvc4, MathSat, Z3. Additional solvers can be used if they are SMT-LIB 2 compliant. More information and tutorials can be found in https://github.com/MfesGA/Hsmtlib

@hackage Hsmtlib2.8.8.8

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (7)

Dependents (1)