Dear ports@ readers,this is a proposal for a new port: CUDD, the Colorado University Decision Diagram.
DESCR =====
CUDD (Colorado University Decision Diagram) is a package written in C for the manipulation of decision diagrams. It supports binary decision diagrams (BDDs), algebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).
This library is required by some ports I have in my pipe, and specifically by Parallax OpenSTA, which is the last dependency still missing for Qflow.
I chose devel as category, please let me know if that's ok.All tests are PASS, provided that we use gdiff(1) instead of diff(1) for the dddmp set.
One thing I'm not able to do is to force the name of the .so file to be libcudd.so.0.0, instead of libcudd-3.0.0.so.0.0. Could someone point me in the right direction?
Taking MAINTAINER, tarball attached. -- Alessandro DE LAURENZIS [mailto:[email protected]] Web: http://www.atlantide.t28.net LinkedIn: https://www.linkedin.com/in/delaurenzis/
cudd.tar.gz
Description: application/gzip
