{"name":"libcudd","portdir":"devel/libcudd","version":"3.0.0","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://vlsi.colorado.edu/~fabio/CUDD/","description":"An efficient library for manipulating decision diagrams","long_description":"The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). It's been written by Fabio Somenzi at the University of Colorado, Boulder.","active":true,"categories":["devel"],"maintainers":[{"name":"slivingston","github":"slivingston","ports_count":2}],"variants":["universal"],"dependencies":[{"type":"build","ports":["clang-16"]}],"depends_on":[{"type":"lib","ports":["gr1c"]}]}