lib:hz3

Modules

• Z3.Base
• Z3.Base.C
• Z3.Monad
• Z3.Opts

Dependencies

• base lib:base >=4.5 && <5
• containers lib:containers >=0
• transformers lib:transformers >=0.2

Reverse dependencies

Direct only. Not exhaustive.

• hz3 exe:examples
• hz3 test:spec