The z3-encoding package

[ Tags: language, library, mit ] [ Propose Tags ]

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 98 total (5 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-11-22 [all 8 reports]
Hackage Matrix CI

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