ez3: Z3 bonds with pure interface

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

Z3 bonds with universally-quantified pure interface, like ST

[Skip to Readme]
Versions [faq]
Dependencies base (>=4.7 && <5), transformers, z3 (==4.3.*) [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:
Downloads 560 total (3 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user [build log]
All reported builds failed as of 2018-05-11 [all 3 reports]


[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

For package maintainers and hackage trustees

Readme for ez3-

[back to package description]