CUDD: CU Decision Diagram Package
Release 2.4.1

Fabio Somenzi
Department of Electrical and Computer Engineering
University of Colorado at Boulder
$<$Fabio@Colorado.EDU$>$