lib:z3

Modules

• Z3.Base
• Z3.Lang
• Z3.Lang.Lg2
• Z3.Lang.Nat
• Z3.Lang.Pow2
• Z3.Lang.Prelude
• Z3.Monad
• Z3.Opts

Dependencies

• base lib:base >3 && <5
• containers lib:containers >=0
• mtl lib:mtl <2.1 || >2.1

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• expressions-z3 test:test
• ez3 lib:ez3
• z3 exe:examples
• z3 test:spec