GitHub repository: m4lvin/cudd
Primary language: C
Description: An unofficial mirror of the CUDD decision diagrams package