| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: cudd | Distribution: OpenMandriva Lx |
| Version: 2.5.0 | Vendor: OpenMandriva |
| Release: 4 | Build date: Sun Nov 1 14:25:06 2020 |
| Group: Unspecified | Build host: c64one.openmandriva.org |
| Size: 965689 | Source RPM: cudd-2.5.0-4.src.rpm |
| Packager: bero <bero@lindev.ch> | |
| Url: http://vlsi.colorado.edu/~fabio/CUDD/ | |
| Summary: CU Decision Diagram Package | |
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).
BSD
/usr/bin/nanotrav /usr/lib64/libcudd.so.2 /usr/lib64/libcudd.so.2.5.0 /usr/lib64/libcuddobj.so.2 /usr/lib64/libcuddobj.so.2.5.0 /usr/lib64/libcuddst.so.2 /usr/lib64/libcuddst.so.2.5.0 /usr/lib64/libcuddutil.so.2 /usr/lib64/libcuddutil.so.2.5.0 /usr/lib64/libdddmp.so.2 /usr/lib64/libdddmp.so.2.5.0 /usr/lib64/libepd.so.2 /usr/lib64/libepd.so.2.5.0 /usr/lib64/libmtr.so.2 /usr/lib64/libmtr.so.2.5.0 /usr/share/doc/cudd /usr/share/doc/cudd/LICENSE /usr/share/doc/cudd/README /usr/share/doc/cudd/RELEASE.NOTES /usr/share/doc/cudd/nanotrav /usr/share/doc/cudd/nanotrav/README /usr/share/doc/cudd/nanotrav/bnetAllAbs.html /usr/share/doc/cudd/nanotrav/bnetAllDet.html /usr/share/doc/cudd/nanotrav/bnetExtAbs.html /usr/share/doc/cudd/nanotrav/bnetExtDet.html /usr/share/doc/cudd/nanotrav/ntrAllAbs.html /usr/share/doc/cudd/nanotrav/ntrAllDet.html /usr/share/doc/cudd/nanotrav/ntrExtAbs.html /usr/share/doc/cudd/nanotrav/ntrExtDet.html /usr/share/man/man1/nanotrav.1.zst
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Oct 23 22:03:08 2025