Data.Presburger.Omega.Set
data Set
set
fromOmegaSet
toOmegaSet
dimension
predicate
lowerBoundSatisfiable
upperBoundSatisfiable
obviousTautology
definiteTautology
exact
inexact
unknown
equal
upperBound
lowerBound
union
intersection
difference
data Effort
gist
complement
approximate