GitHub repository: keszocze/cudd
Primary language: C
Description: CUDD with CMake