GitHub repository: ssoelvsten/cudd
Primary language: C
Description: CUDD: CU Decision Diagram package - with CMake and extended C++