z3-encoding: High-level assertion encoding to Z3 solver
A library targeting at providing high-level, extensible, easy to use Haskell interface to Z3 solver.
Modules
- Z3
- Z3.Assertion
- Z3.Class
- Z3.Context
- Z3.Encoding
- Z3.Logic
Downloads
- z3-encoding-0.2.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.2.1.1, 0.3.0.0 |
|---|---|
| Dependencies | base (>=4.9 && <4.10), containers (>=0.5 && <0.6), mtl (>=2.2 && <2.3), z3 (>=4.1.0) [details] |
| License | MIT |
| Author | Zhen Zhang |
| Maintainer | izgzhen@gmail.com |
| Category | Language |
| Source repo | head: git clone https://github.com/izgzhen/z3-encoding |
| Uploaded | by izgzhen at 2016-07-01T07:19:45Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 1283 total (5 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs not available [build log] All reported builds failed as of 2016-11-23 [all 4 reports] |