ez3: Z3 bonds with pure interface

[ bsd3, 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 strake888@gmail.com
Revised Revision 1 made by MatthewFarkasDyck at Mon May 14 00:55:50 UTC 2018
Source repo head: git clone https://github.com/strake/ez3.hs
Uploaded by MatthewFarkasDyck at Fri May 11 08:39:16 UTC 2018
Distributions NixOS:
Downloads 194 total (13 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-05-11 [all 3 reports]


  • Z3
    • Z3.Tagged


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]