Automated Theorem Prover for Presburger Arithmetic