معرفی شرکت ها


cudd-2.5.0-4-omv4002.x86_64.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

CU Decision Diagram Package
ویژگی مقدار
سیستم عامل Linux
توزیع OpenMandriva 4.3
مخزن OpenMandriva unsupported-release x86_64
نام بسته cudd
نام فایل بسته cudd-2.5.0-4-omv4002.x86_64.rpm
نسخه بسته 2.5.0
انتشار بسته 4
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Sun 01 Nov 2020 04
هاست سازنده c64one.openmandriva.org
نوع بسته .rpm
آدرس صفحه اصلی http://vlsi.colorado.edu/~fabio/CUDD/
مجوز BSD
حجم دانلود 330K
حجم نصب 943.056K
CUDD is a package for the manipulation of Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary Decision Diagrams (ZDDs).


جایگزین ها

بسته نسخه معماری مخزن
cudd-devel-2.5.0-4-omv4002.x86_64.rpm 2.5.0 x86_64 OpenMandriva unsupported-release


نیازمندی

مقدار نام
- libc.so.6()(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
- libc.so.6(GLIBC_2.7)(64bit)
- libcudd.so.2()(64bit)
- libcuddst.so.2()(64bit)
- libcuddutil.so.2()(64bit)
- libdddmp.so.2()(64bit)
- libepd.so.2()(64bit)
- libgcc_s.so.1()(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
- libgcc_s.so.1(GCC_3.3.1)(64bit)
- libm.so.6()(64bit)
- libm.so.6(GLIBC_2.2.5)(64bit)
- libm.so.6(GLIBC_2.29)(64bit)
- libmtr.so.2()(64bit)
- libstdc++.so.6()(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.8)(64bit)
- libstdc++.so.6(CXXABI_1.3.9)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 2.5.0-4 cudd
= 2.5.0-4 cudd(x86-64)
= 2.5.0-4 lib64cudd2
- libcudd.so.2()(64bit)
- libcuddobj.so.2()(64bit)
- libcuddst.so.2()(64bit)
- libcuddutil.so.2()(64bit)
- libdddmp.so.2()(64bit)
- libepd.so.2()(64bit)
- libmtr.so.2()(64bit)


نحوه نصب


نصب پکیج rpm cudd:

    urpmi install cudd-2.5.0-4-omv4002.x86_64.rpm


فایل ها

مسیرها
/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