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

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 NixOS:0.1.0.0
Downloads 662 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