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, Tue Dec 17 23:03:18 2024