lib(ic_hybrid_sets)

   Solver over sets of integers (lex bounds, cooperates with lib(ic))

