معرفی شرکت ها

cudd-2.5.1-alt3.ppc64le.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

CUDD: Colorado University Decision Diagram Package
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic ppc64le
نام بسته cudd
نام فایل بسته cudd-2.5.1-alt3.ppc64le.rpm
نسخه بسته 2.5.1
انتشار بسته alt3
معماری بسته ppc64le
نگهدارنده -
تاریخ ساخت Wed 15 May 2019 05
هاست سازنده wasp18.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://vlsi.colorado.edu/~fabio/CUDD/
مجوز BSD
حجم دانلود 82K
حجم نصب 266.587K
The CUDD package provides functions to manipulate Binary Decision Diagrams (BDDs), Algebraic Decision Diagrams (ADDs), and Zero-suppressed Binary Decision Diagrams (ZDDs). BDDs are used to represent switching functions; ADDs are used to represent function from {0,1}^n to an arbitrary set. ZDDs represent switching functions like BDDs; however, they are much more efficient than BDDs when the functions to be represented are characteristic functions of cube sets, or in general, when the ON-set of the function to be represented is very sparse. They are inferior to BDDs in other cases. The package provides a large set of operations on BDDs, ADDs, and ZDDs, functions to convert BDDs into ADDs or ZDDs and vice versa, and a large assortment of variable reordering methods.


جایگزین ها

بسته نسخه معماری مخزن
cudd-2.5.1-alt3.i586.rpm 2.5.1 i586 ALT classic
cudd-2.5.1-alt3.x86_64.rpm 2.5.1 x86_64 ALT classic


نیازمندی

مقدار نام
= 2.5.1-alt3 libcudd
- /lib64/ld64.so.2
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 2.5.1-alt3 cudd


نحوه نصب


نصب پکیج rpm cudd:

    sudo apt-get install cudd-2.5.1-alt3.ppc64le.rpm


فایل ها

مسیرها
/usr/bin/nanotrav
/usr/share/doc/cudd-2.5.1
/usr/share/doc/cudd-2.5.1/README
/usr/share/doc/cudd-2.5.1/RELEASE.NOTES
/usr/share/doc/cudd-2.5.1/nanotrav.README
/usr/share/doc/cudd-2.5.1/nanotrav.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/bnetAllAbs.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/bnetAllDet.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/bnetExtAbs.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/bnetExtDet.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/ntrAllAbs.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/ntrAllDet.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/ntrExtAbs.html
/usr/share/doc/cudd-2.5.1/nanotrav.html/ntrExtDet.html
/usr/share/man/man1/nanotrav.1.xz


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2018-08-12

fix aarch64 build (do not use -malign-double compiler flag)

2015-03-16

Added all symbols from libutil.a into libmtr.so

2015-03-16

Initial build for Sisyphus