ez3: Z3 bonds with pure interface
Deprecated
Downloads
- ez3-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
- No current members of group
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0 |
---|---|
Dependencies | base (>=4.7 && <5), transformers, z3 (>=4.3 && <4.4) [details] |
License | BSD-3-Clause |
Copyright | 2018 M Farkas-Dyck |
Author | M Farkas-Dyck |
Maintainer | none |
Revised | Revision 2 made by MatthewFarkasDyck at 2020-04-10T04:49:26Z |
Uploaded | by MatthewFarkasDyck at 2018-05-11T08:39:16Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 734 total (0 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user [build log] All reported builds failed as of 2018-05-11 [all 3 reports] |