lib(ic_global_gac)

   Library of global constraints which achieve generalized arc consistency

