lib:expressions-z3

Modules

• Data.Expression.Z3

Dependencies

• base lib:base >=4.9 && <4.11
• containers lib:containers >=0.5 && <0.5.11
• expressions lib:expressions >=0.1 && <0.2
• singletons lib:singletons >=2.2 && <2.4
• transformers lib:transformers >=0.5.2 && <0.5.5
• z3 lib:z3 >=4.1.2 && <4.2

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• expressions-z3 test:test