search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
cs-486:tools [2018/09/04 10:15] egm [Spin] |
cs-486:tools [2021/04/09 08:26] egm [Cudd] |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| == Cudd == | == Cudd == | ||
| - | The newest version of [ftp://vlsi.colorado.edu/pub/cudd-3.0.0.tar.gz CUDD] includes a configure script. For the OS X build, I did the following: | + | The [https://davidkebo.com/cudd CUDD Tutorials] detail various ways to get CUDD with the easiest being the [https://davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz CUDD 3.0.0] direct link. There is also a [https://github.com/ivmai/cudd GitHub CUDD 3.0.0] snapshot for cloning. |
| + | |||
| + | |||
| + | For the OS X build, I did the following: | ||
| $ ./configure CC=clang CXX=clang++ | $ ./configure CC=clang CXX=clang++ | ||
