module Gecode::Int

A module that deals with the operands, properties and constraints of integer variables.