@hackage presburger0.2

Cooper's decision procedure for Presburger arithmetic.

Cooper's decision procedure for Presburger arithmetic.