module Gecode::Int