Similar repositories to SRI-CSL/cudd: