Efficient Operations On MDDs for Building Constraint Programming Models