The z3-encoding package

[Tags:library, mit, test]

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

Properties

Versions 0.2.1.1, 0.3.0.0
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 repository head: git clone https://github.com/izgzhen/z3-encoding
Uploaded Tue Jul 5 00:02:52 UTC 2016 by izgzhen
Distributions NixOS:0.3.0.0
Downloads 58 total (2 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2016-11-22 [all 8 reports]

Modules

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees