presburger-1.3.1: A decision procedure for quantifier-free linear arithmetic.