adamwalker/cudd
DEPRECATED (see readme). An unofficial mirror of the CUDD decision diagrams package modified to build shared object files
CBSD-3-Clause
DEPRECATED (see readme). An unofficial mirror of the CUDD decision diagrams package modified to build shared object files
CBSD-3-Clause