lib(ic_sets)

   Solver over sets of integers (cooperates with lib(ic))

