GitHub repository: zzwonder/cudd
Primary language: C
Description: a modification of CUDD used in DPMS