GitHub repository: lpradel/CUDDVC-2.5.0
Primary language: C
Description: Windows port of the C/C++ BDD framework CUDD (2.5.0) by Somenzi.