steleman / cudd Goto Github PK
View Code? Open in Web Editor NEWThis project forked from adamwalker/cudd
DEPRECATED (see readme). An unofficial mirror of the CUDD decision diagrams package modified to build shared object files
License: BSD 3-Clause "New" or "Revised" License