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.

Modules

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

Downloads

Maintainer's Corner

Package maintainers

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 <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
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 1278 total (8 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-22 [all 8 reports]