The Hsmtlib package

[maintain]
Warnings:

Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2. The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, 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

Properties

Versions0.2.0.6, 0.2.0.6, 2.8.8.8
Dependenciesbase (>=4.6 && <=4.7), containers (==0.5.*), parsec (==3.1.*), pretty (==1.1.*), process (>=1.1 && <=1.2), smtLib (==1.0.*), transformers (==0.3.*) [details]
LicenseBSD3
AuthorNuno Laranjo and Rogerio Pontes
Maintainernumicola@gmail.com and rogeriop062@gmail.com
CategorySMT
Home pagehttps://github.com/MfesGA/Hsmtlib
UploadedTue May 20 11:45:57 UTC 2014 by roger62

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees