ez3: Z3 bonds with pure interface

[ bsd3, deprecated, library, unclassified ] [ Propose Tags ]

Z3 bonds with universally-quantified pure interface, like ST

[Skip to Readme]


[Index] [Quick Jump]


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

Package maintainers

  • No current members of group

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
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
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 732 total (3 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]

Readme for ez3-

[back to package description]