lib:Omega

Modules

• Data.Presburger.Omega.Expr
• Data.Presburger.Omega.LowLevel
• Data.Presburger.Omega.Rel
• Data.Presburger.Omega.Set

Dependencies

• base lib:base >=4 && <5
• containers lib:containers >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything