11.08., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

Commit 9c21fdd9 authored by Mahmoud Mahmoud's avatar Mahmoud Mahmoud

Update readme.md

parent 0018a756
......@@ -13,12 +13,18 @@ Please read the manual in the manual directory ./manual/manual.pdf
- A C++ development environment where you can compile C++ source code.
- The CUDD library by Fabio Somenzi, which can be downloaded at
[VLSI@Colorado](http://vlsi.colorado.edu/~fabio/) or [David Kebo](http://davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz).
SCOTS uses the dddmp and C++ wraper of the CUDD library.
In the example computations we used cudd-3.0.0 which we configured with
We use cudd-3.0.0 which we configured with
`$./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/`
Note that on some linux systems, the files config.h and util/util.h do not get copied after the installation. You have to copy them manually.
You might also need to add the library bibary to your Linux's library search path by the command:
`$export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/opt/local/lib`
- SCOTS itself is a header only library. You only need to add SCOTS source
directory to the include directory in the compiler command.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment