This package contains the classes and interfaces defining the heuristics
which can be used to customize the behavior of an MDD with some default
implementations.
This package contains the core classes and interfaces that are central to the
implementation of an optimization solver based on branch and bound with decision
diagrams.
This package contains the classes and interfaces defining the heuristics
which can be used to discard or merge node during the restriction or relaxation of the MDD.