ez3: Z3 bonds with pure interface

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

Z3 bonds with universally-quantified pure interface, like ST


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

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

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]

Readme for ez3-0.1.0.0

[back to package description]

ez3