معرفی شرکت ها

i586-libcudd-2.5.1-alt3.i586.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 i586
نام بسته i586-libcudd
نام فایل بسته i586-libcudd-2.5.1-alt3.i586.rpm
نسخه بسته 2.5.1
انتشار بسته alt3
معماری بسته i586
نگهدارنده -
تاریخ ساخت Sun 12 Aug 2018 11
هاست سازنده slazav-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://vlsi.colorado.edu/~fabio/CUDD/
مجوز BSD
حجم دانلود 256K
حجم نصب 681.743K
[This package was automatically repackaged from i586.] 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.


جایگزین ها

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


نیازمندی

مقدار نام
= 2.5.1-alt3 libcudd
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.2)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- libm.so.6(GLIBC_2.0)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= set:ndI1olxJfpmD3ysISV0x7XN2UzAkWbozcXAZFirt3LX0xliKZn8G9hpNgKD8ceRVviPBuod9Jj44rDO3ZIAQ4FKViZCNezXzju24B73JZxw9kpE8Zn2dKIVQVxbiCSwN8ZlcSYJqOJgaQKVDkW3UGPdQcBBiZK6CrpS0oBs6hu7SgaCBvwkSoqGqJCUm9pEuQ7qtJ5J2x8WwrVS8uXHRt0h1rcZoCO2E66QnNl07vAFXSQM0yfQf3RDMpghsXdvOin534vWZE8Jc2HZA9ZmNrE7yitLtbZ9LUttaMdmUFiHkVZzvdOG8Nks6KL65GhYjjBFgeKKeZFHET1PEQoyhtu1bW1771I8APlFcqUWqlQcETGOTzYe0TcaZmFE3eI05YQbojeC4Gxw1GBK9ez4yTcKhnzWoj2wIhL47KTmDhmZ3JNiCwCPSMZ8m4sbXgeK0mEKOZbODUOZFKcEeEbvZ3olAwp0nTcS7fxoCeOtCzqPx2v2xiypojm5UN3a5u1gKOK4dUupTahcdtZCQZiR92fGJaP27iS6O0vkBKAjrLtF8L5QRaZ0gBvcuc0L6BvQ7Cew45N9OZdZwXwlV6t2KQIrYK9uKdZqNUWOx0c2dQtgJeCBzwlB8bDQV0GM1Cxj34rYT3U8VINzNAlvic5h3ua3lR4TDVZEcRZm5RxtZIY9e49xnXcU40H2P0AZCxgZyoynOpWJd47KW9hY1OvR3G9KImI1Job7yYwAFkLyVoTXmlSPHS0IVkIbAb6tRXJ2mvwfDMcd1gZjwNzTiCPtXEGNo7g3gn3Zvu2cwkJz4PgD2B1dWLhtMp6zME09qOqKt8IAf7eBHKrt5OguqIhc0Hrpopntwscl9i3NEKWUaROxDzGEyZcl97M6H485alVgoEGmN9wifjR31gZ250ZEnHPLg20dRmvrtwk7KNRnkcjiSxqIpxu44qogjBXi99JsTZ8M5ZB9Q7RKYKZ5OZw0k7VuAy0RwtV3rlsrkLb4FWj0JFCNyaTO7pZh52ZdFL1VEjuLaXbyj4ecT1DFfFZ4NkGId3csblhgI0ZtyyWrj2Tdjm1Etj53BUpEadxKG0S1YdS73owYBAPpzNbJ6UJp4nY0CwOV2ph3MLIoJSQFU9pKeZ8JwlCiRlE5JFF2yoIoIyO1IYFcdkIxGx0GxXKy4xdugg0tOOL4SelKr9a8oQi0Aaf0g0SxYCETqgOgGvyeNRZH1FRI5YOU8AnNElbtC2P3nOw4NmRRD0wqFkEXhSv9pVN4rfB4PgsEqtJ4IDJGalEzOjUrq6aJ1 libcudd.so.0
= set:jdJIzuAATnsCRobNBFZv1BtnIz1SZEmmLUHu8QDesLS8FkgqXoV29r4qn6kVBiiXHZFOHcSSZvQRmm5MWaZ0QtP7cqYKcVuhNv7PZqxY7fKMOFs0agFOZtxze7 libdddmp.so.0
= set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCGV1XJsh8GNFaM5ZuL1 libepd.so.0
= set:hdgiXaS148oCKteYg95 libmnem.so.0
= set:jdzdHUbw7UVdpb0Al2582pJAlh59yuhKpqdL2ULMgw5YVlUeCD7mOvjZGYZr5nqVXZnBuSJkWRIG944v7kZq4b3m1wsQDPKMxd5OFZ3EV6 libmtr.so.0
= set:idlYdDZ37x8IPM939GLcEUA42VkBtkCxZI89k4CjOs016j6 libst.so.0
= 2.5.1-alt3 i586-libcudd


نحوه نصب


نصب پکیج rpm i586-libcudd:

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


فایل ها

مسیرها
/usr/lib/libcudd.so.0
/usr/lib/libdddmp.so.0
/usr/lib/libepd.so.0
/usr/lib/libmnem.so.0
/usr/lib/libmtr.so.0
/usr/lib/libst.so.0


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

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