presburger-0.4: Cooper's decision procedure for Presburger arithmetic.
Data.Integer.Presburger.Notation
check :: Form (Prop PosP) -> BoolSource
type Formula = Form (Prop PosP)Source
(&&), (||) :: Formula -> Formula -> FormulaSource
(<) :: Term -> Term -> FormulaSource
(<=) :: Term -> Term -> FormulaSource
(==) :: Term -> Term -> FormulaSource
exists :: Name -> Formula -> FormulaSource
not :: Formula -> FormulaSource
(>) :: Term -> Term -> FormulaSource
(>=) :: Term -> Term -> FormulaSource
(/=) :: Term -> Term -> FormulaSource
forall :: Name -> Formula -> FormulaSource