Versions Packages Information History Related Badges Report

Information for cudd

Summaries

  • A package for the manipulation of Binary Decision Diagrams (BDDs) and similar structures
  • Binary Decision Diagram (BDD) library
  • Binary Decision Diagram manipulation library
  • CU Decision Diagram Package (3)
  • CUDD: Colorado University Decision Diagram Package
  • Colorado University Decision Diagram
  • Manipulation of Binary Decision Diagrams
  • Package for the manipulation of Binary Decision Diagrams (BDDs), etc

Maintainers

Homepages

Downloads