This is the main branch of CUDD with Autotools configurations.
Please see README.autotools for building information.
For CMake build configurations,
checkout cmake branch,
which hosts the current development to support CMake.
andreaswendler/cudd
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation