@hackage presburger1.1

A decision procedure for quantifier-free linear arithmetic.

The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test.