{"id":27062871,"url":"https://github.com/doganulus/cudd_with_cmake","last_synced_at":"2025-06-11T22:09:32.507Z","repository":{"id":73285330,"uuid":"259018147","full_name":"doganulus/cudd_with_cmake","owner":"doganulus","description":null,"archived":false,"fork":false,"pushed_at":"2020-04-26T11:57:37.000Z","size":1215,"stargazers_count":0,"open_issues_count":2,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-04-05T15:33:52.636Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/doganulus.png","metadata":{"files":{"readme":"README.autotools","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-04-26T11:53:35.000Z","updated_at":"2020-04-26T11:57:42.000Z","dependencies_parsed_at":"2023-03-22T15:03:09.376Z","dependency_job_id":null,"html_url":"https://github.com/doganulus/cudd_with_cmake","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/doganulus/cudd_with_cmake","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fcudd_with_cmake","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fcudd_with_cmake/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fcudd_with_cmake/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fcudd_with_cmake/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/doganulus","download_url":"https://codeload.github.com/doganulus/cudd_with_cmake/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/doganulus%2Fcudd_with_cmake/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259353494,"owners_count":22844751,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-04-05T15:27:17.389Z","updated_at":"2025-06-11T22:09:32.498Z","avatar_url":"https://github.com/doganulus.png","language":"C","readme":"The CUDD package is a package written in C for the manipulation of\ndecision diagrams.  It supports binary decision diagrams (BDDs),\nalgebraic decision diagrams (ADDs), and Zero-Suppressed BDDs (ZDDs).\n\nThis directory contains a set of packages that allow you to build a test\napplication based on the CUDD package.\n\nThe test application provided in this kit is called nanotrav and is a\nsimple-minded FSM traversal program.  (See the README file and the man\npage nanotrav.1 in the nanotrav directory for the details.)  It is\nincluded so that you can run a sanity check on your installation.\n\nAlso included in this distribution are the dddmp libray by Giampiero\nCabodi and Stefano Quer and a C++ object-oriented wrapper for CUDD.\n\nBUILD AND INSTALLATION\n\nIn the simplest form, you can build the static libraries with:\n\n  ./configure\n  make\n  make check\n\nThe configure script provides a few options, which can be listed with\n\n  ./configure --help\n\nNotable options include\n\n  --enable-silent-rules\n  --enable-shared\n  --enable-dddmp\n  --enable-obj\n  --with-system-qsort\n\nThe --enable-silent-rules option is a standard option that streamlines the\nmessages produced by the build process.  The remaining options are specific\nto CUDD.\n\nThe three \"enable\" options control the build of shared libraries.  By\ndefault, only static libraries are built.  With --enable-shared, a\nshared library for libcudd is built.  (Before installation, it can be\nfound in cudd/.libs.)\n\nThe last two \"enable\" options control the inclusion of the dddmp\nlibrary and C++ wrapper in the shared library, which by default only\ncontains the core CUDD library.\n\nThe --with-system-qsort option requests use of the qsort from the\nstandard library instead of the portable one shipped with CUDD.  This\noption is provided for backward compatibility and is not otherwise\nrecommended.  Some of the tests of \"make check\" may fail with the\nsystem qsort because variable orders may be generated that are\ndifferent from the reference ones.\n\nAs an example, a more elaborate build command sequence may be:\n\n  ./configure CC=clang CXX=clang++ --enable-silent-rules \\\n    --enable-shared --enable-obj\n  make -j4 check\n  make install\n\nwhich selects alternate compilers instead of gcc and g++, causes the\nC++ wrapper to be included in the shared library, enables parallel\ncompilation (with -j4) and finally installs the shared library using\nthe default prefix /usr/local.\n\nFor those unfamiliar with libtool it may be worth noting that the\nlibraries it builds go in .libs subdirectories.  One should also note\nthat with shared libraries enabled, the test programs immediately\nvisible to the user are shell scripts that make sure dynamic linking\nworks before installation.  If you want to run valgrind on, say, a\ndynamically linked nanotrav, specify the option --trace-children=yes.\n\nPLATFORMS\n\nThis kit has been successfully built on the following configurations:\n\n    PC (x86 and x86_64) running Ubuntu with gcc and clang\n    PC (x86 and x86_64) running Ubuntu with g++\n    PC (x86 and x86_64) running Linux RedHat with gcc\n    PC (x86 and x86_64) running Linux RedHat with g++\n    PC (x86_64) running 32-bit Cygwin on Windows 7 and Vista with gcc\n    PC (x86_64) running 32-bit Cygwin on Windows 7 and Vista with g++\n    PC (x86_64) running 64-bit Cygwin on Windows 8.1 with gcc and g++\n    PC (x86_64) running MinGW-w64 on Windows 8.1 with gcc\n\nIn all these cases, the C++ wrapper was compiled with the matching C++\ncompiler (g++ for gcc and clang++ for clang).  To compile under MSYS2\n(MinGW-w64) one has to pass --build=x86_64-w64-mingw32 to ./configure.\n\nSANITY CHECK\n\nThe directory `nanotrav' contains a simple application based on the\nCUDD package.  The `nanotrav' directory contains a man page that\ndescribes the options nanotrav supports.  The files *.blif are sample\ninput files for nanotrav.  The *.out files are the reference output\nfiles.\n\nDOCUMENTATION\n\nIf doxygen is installed, running \"make\" puts HTML documentation for\nthe CUDD package in directory cudd-3.0.0/cudd/html. The recommended\nstarting point is index.html.  The user's manual in PDF format is\nbuilt in cudd-3.0.0/doc if pdflatex and makeindex are installed.\nDocumentation for the dddmp library is in the dddmp/doc subdirectory.\n\nFEEDBACK:\n\nSend feedback to:\n\nFabio Somenzi\nUniversity of Colorado at Boulder\nECE Dept.\nBoulder, CO 80309-0425\nFabio@Colorado.EDU\nhttp://vlsi.colorado.edu/~fabio\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdoganulus%2Fcudd_with_cmake","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdoganulus%2Fcudd_with_cmake","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdoganulus%2Fcudd_with_cmake/lists"}