@hackage z3-encoding0.2.1.1

High-level assertion encoding to Z3 solver

Categories
- Language
License
MIT
Maintainer
izgzhen@gmail.com
Links
Versions
- 0.3.0.0 Tue, 5 Jul 2016
- 0.2.1.1 Fri, 1 Jul 2016

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

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything