BDDs in a Branch & Cut Framework ?