Package Details: cudd 2.5.1-1

Package Base: cudd
Description: Package for manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs)
Upstream URL: http://vlsi.colorado.edu/~fabio/CUDD/cuddIntro.html
Category: lib
Licenses: unknown
Submitter: mathieu.clabaut
Maintainer: None
Last Packager: critiq.jo
Votes: 4
First Submitted: 2009-03-19 18:19
Last Updated: 2015-03-06 06:46

Dependencies (1)

Required by (1)

Sources

Latest Comments

Comment by mathieu.clabaut

2015-03-05 15:10

Orphaned…
Thanks for taking care of it…

Comment by mathieu.clabaut

2011-08-16 13:28

Updated…
I made some changes to allow compilation on both i686 and x86_64. Tested only on x86_64.

Comment by DRagon6621

2011-08-12 12:34

Gcc tries to compile it with -march=pentiumpro. I get error messages like "error: CPU you selected does not support x86-64 instruction set".