lib(ic_edge_finder3)

   Cubic edge-finder algorithm for disjunctive and
cumulative constraints for IC

