Repository: ivmai/cudd
Description: CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/20150215010018/http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html)
Languages: Shell,C++,C,HTML,Groff
Stars: 125
License: BSD 3-Clause "New" or "Revised" License