Quantifier Elimination Steps for Presburger Arithmetic

05-02-Live2, CS-550 Formal Verification