The simple-smt package

[maintain]
Warnings:

A simple way to interact with an SMT solver process.

Properties

Versions0.1.0.0, 0.2.0.0, 0.3.0, 0.4.0, 0.5.0, 0.5.0, 0.5.1, 0.5.2, 0.5.3, 0.5.4, 0.5.5, 0.6.0, 0.7.0
Dependenciesbase (>=4.7 && <10), process [details]
LicenseBSD3
AuthorIavor S. Diatchki
Maintaineriavor.diatchki@gmail.com
CategoryMath
Source repositoryhead: git clone https://github.com/yav/simple-smt
UploadedTue Jan 13 21:47:18 UTC 2015 by IavorDiatchki

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees