The z3 package

[ Tags: bit-vectors, bsd3, formal-methods, library, math, smt, theorem-provers ] [ Propose Tags ]

Bindings for the Z3 Theorem Prover (http://z3.codeplex.com).

Low-level bindings to the Z3 API are provided by Z3.Base, this API is still incomplete but pretty much stable.

A simple but convenient wrapper for Z3.Base is provided by Z3.Monad.

The Z3.Lang API provides a high-level interface to Z3, but it is still very experimental and likely to change.

Important notes:

Properties

Versions 0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 4.0.0, 4.1.0, 4.1.1, 4.1.2
Dependencies base (>3 && <5), containers, mtl (<2.1 || >2.1) [details]
License BSD3
Copyright 2012-2013, Iago Abal, David Castro
Author Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Maintainer Iago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Category Math, Theorem Provers, Formal Methods
Home page http://bitbucket.org/iago/z3-haskell
Source repository head: hg clone https://bitbucket.org/iago/z3-haskell
Uploaded Mon Mar 25 00:13:21 UTC 2013 by IagoAbal
Distributions NixOS:4.1.2
Downloads 1910 total (33 in the last 30 days)
Rating 2.0 (1 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees