This notebook contains an implementation of the Conti-Traverso algorithm (1991) for solving problems in Integer Programming by the Groebner Basis method. A new function IntegerProgramming is defined and several examples are solved using it.