lib(edge_finder3)

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

