An open-source Java library for Constraint Programming
DDO a generic and efficient framework for MDD-based optimization.