presburger-0.4: Cooper's decision procedure for Presburger arithmetic.

Index - .

.* 
1 (Function)Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger
2 (Function)Data.Integer.OldPresburger