lib:z3

Modules

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

Dependencies

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

Reverse dependencies

Direct only. Not exhaustive.

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