معرفی شرکت ها

libcudd-2.5.1-alt3.ppc64le.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Shared libraries of cudd
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p9
مخزن ALTLinux classic ppc64le
نام بسته libcudd
نام فایل بسته libcudd-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
حجم دانلود 275K
حجم نصب 1.016M
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. This package contains shared libraries of cudd.


جایگزین ها

بسته نسخه معماری مخزن
libcudd-2.5.1-alt3.i586.rpm 2.5.1 i586 ALT classic
libcudd-2.5.1-alt3.x86_64.rpm 2.5.1 x86_64 ALT classic
libcudd-devel-2.5.1-alt3.i586.rpm 2.5.1 i586 ALT classic
libcudd-devel-2.5.1-alt3.ppc64le.rpm 2.5.1 ppc64le ALT classic
libcudd-devel-2.5.1-alt3.x86_64.rpm 2.5.1 x86_64 ALT classic
libcudd-devel-docs-2.5.1-alt3.noarch.rpm 2.5.1 noarch ALT classic


نیازمندی

مقدار نام
- libc.so.6(GLIBC_2.17)(64bit)
- libm.so.6(GLIBC_2.17)(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1 libcudd.so.0()(64bit)
= set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7 libdddmp.so.0()(64bit)
= set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1 libepd.so.0()(64bit)
= set:gcqHJPx3W3nh7gwsX libmnem.so.0()(64bit)
= set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6 libmtr.so.0()(64bit)
= set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6 libst.so.0()(64bit)
= 2.5.1-alt3 libcudd


نحوه نصب


نصب پکیج rpm libcudd:

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


فایل ها

مسیرها
/usr/lib64/libcudd.so.0
/usr/lib64/libdddmp.so.0
/usr/lib64/libepd.so.0
/usr/lib64/libmnem.so.0
/usr/lib64/libmtr.so.0
/usr/lib64/libst.so.0
/usr/share/doc/libcudd-2.5.1
/usr/share/doc/libcudd-2.5.1/README.dddmp
/usr/share/doc/libcudd-2.5.1/README.mnemosyne
/usr/share/doc/libcudd-2.5.1/RELEASE_NOTES.dddmp


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

تاریخ آخرین تغییر جزئیات
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