z3-0.3.2: Bindings for the Z3 Theorem Prover

Stabilityexperimental
MaintainerIago Abal <iago.abal@gmail.com>, David Castro <david.castro.dcp@gmail.com>
Safe HaskellNone

Z3.Lang

Description

Deprecated: The Z3.Lang interface will be moved to a dedicated package.

Documentation

module Z3.Lang.Prelude

module Z3.Lang.Nat