Explore projects

  • Public / CUDD

    BSD 3-Clause "New" or "Revised" License

    The Colorado University Decision Diagram (CUDD) package is written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).

    Updated
    Updated