Contents
Index
presburger-0.1: Cooper's decision procedure for Presburger arithmetic.
Index
.*
Data.Integer.Presburger
:/=:
Data.Integer.Presburger
:/\:
Data.Integer.Presburger
:<:
Data.Integer.Presburger
:<=:
Data.Integer.Presburger
:=:
Data.Integer.Presburger
:=>:
Data.Integer.Presburger
:>:
Data.Integer.Presburger
:>=:
Data.Integer.Presburger
:\/:
Data.Integer.Presburger
:|
Data.Integer.Presburger
check
Data.Integer.Presburger
Exists
Data.Integer.Presburger
FALSE
Data.Integer.Presburger
Forall
Data.Integer.Presburger
Formula
Data.Integer.Presburger
is_constant
Data.Integer.Presburger
Not
Data.Integer.Presburger
PP
Data.Integer.Presburger
pp
Data.Integer.Presburger
simplify
Data.Integer.Presburger
Term
Data.Integer.Presburger
TRUE
Data.Integer.Presburger