CUDDAUX is a C library offering additional functions to the CUDD BDD library.
Many of them allow to replace 0-1 ADDs by BDDs in if-then-else and generalized cofactors operations, some offer functions for ADDs which are counterparts of functions already implemented for BDDs, others offer a different interface, and last really new functions are implemented.
This library is necessary to the OCaml interface for CUDD I also developped.