z3-encoding: High-level assertion encoding to Z3 solver

[ language, library, mit ] [ Propose Tags ]

A library targeting at providing high-level, extensible, easy to use Haskell interface to Z3 solver.

Versions [faq],
Dependencies base (==4.9.*), containers (==0.5.*), mtl (==2.2.*), z3 (>=4.1.0) [details]
License MIT
Author Zhen Zhang <izgzhen@gmail.com>
Maintainer Zhen Zhang <izgzhen@gmail.com>
Category Language
Source repo head: git clone https://github.com/izgzhen/z3-encoding
Uploaded by izgzhen at 2016-07-05T00:02:52Z
Distributions NixOS:
Downloads 1050 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-22 [all 8 reports]


  • Z3
    • Base
      • Z3.Base.Atom
      • Z3.Base.Class
      • Z3.Base.Logic
    • Z3.Context
    • Z3.Datatypes
    • Z3.Z3Pred


Maintainer's Corner

For package maintainers and hackage trustees