_ _ _ _ _
/\ \ /\ \ /\ \ /\_\ / /\
\_\ \ / \ \\ \ \ / / / / / \
/\__ \ / /\ \ \\ \ \_/ / / / / /\ \__
/ /_ \ \ / / /\ \ \\ \___/ / / / /\ \___\
/ / /\ \ \ / / / \ \_\\ \ \_/ \ \ \ \/___/
/ / / \/_// / / / / / \ \ \ \ \ \
/ / / / / / / / / \ \ \ _ \ \ \
/ / / / / /___/ / / \ \ \ /_/\__/ / /
/_/ / / / /____\/ / \ \_\\ \/___/ /
\_\/ \/_________/ \/_/ \_____\/
CUDD is a library for manipulating decision diagrams. It supports binary decision diagrams, algebraic decision diagrams, and zero-suppressed binary decision diagrams.