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