The latest version of Omega is 1.0.3-0.
lib:Omega
Modules
- Data.Presburger.Omega.Expr
- Data.Presburger.Omega.LowLevel
- Data.Presburger.Omega.Rel
- Data.Presburger.Omega.Set
Dependencies
- base lib:base >=3 && <4
- containers lib:containers >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything