lib(ic_global)

   Various global constraints over lists of IC variables

