lib:expressions-z3

Modules

• Data.Expression.Z3

Dependencies

• base lib:base >=4.9 && <4.13
• containers lib:containers >=0.5 && <0.7
• expressions lib:expressions >=0.1.7 && <0.4
• list-t lib:list-t >=1.0 && <1.1
• singletons lib:singletons >=2.2 && <2.6
• transformers lib:transformers >=0.5.2 && <0.6
• z3 lib:z3 >=4.1.2 && <4.4

Reverse dependencies

Direct only. Not exhaustive.

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