This module implements Cooper's algorithm for deciding first order formulas over integers with addition.

Based on the paper: * author: D.C.Cooper * title: Theorem Proving in Arithmetic without Multiplication * year: 1972

This module implements Cooper's algorithm for deciding first order formulas over integers with addition.

Based on the paper: * author: D.C.Cooper * title: Theorem Proving in Arithmetic without Multiplication * year: 1972