The smtlib2 package

[maintain]
Warnings:

Properties

Versions0.1, 0.2, 0.3, 0.3.1, 1.0, 1.0
Dependenciesbase (==4.*), constraints, containers, dependent-map, dependent-sum, mtl, template-haskell [details]
LicenseGPL-3
AuthorHenning Günther <guenther@forsyte.at>
Maintainerguenther@forsyte.at
Stabilityprovisional
CategorySMT, Formal Methods, Theorem Provers, Symbolic Computation
Source repositoryhead: git clone https://github.com/hguenther/smtlib2.git
UploadedThu Jan 5 20:44:35 UTC 2017 by HenningGuenther

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees