GitHub repository: rpgoldman/CL-CUDD
Primary language: Common Lisp
Description: Common lisp bindings to CUDD.