@hackage ez30.1.0.0

Z3 bonds with pure interface

Categories
License
BSD-3-Clause
Maintainer
None
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.0.0 Fri, 10 Apr 2020

Installation
In your cabal file:
Dependencies (3)
- base >=4.7 && <5
- transformers
- z3 >=4.3 && <4.4
Dependents (1)
@hackage/acme-everything

Z3 bonds with universally-quantified pure interface, like ST