معرفی شرکت ها

i586-python3-module-pycudd-2.0.2-alt2.1.i586.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Enhanced Python interface to the Colorado University BDD package, CUDD
ویژگی مقدار
سیستم عامل Linux
توزیع ALT p8
مخزن ALTLinux classic i586
نام بسته i586-python3-module-pycudd
نام فایل بسته i586-python3-module-pycudd-2.0.2-alt2.1.i586.rpm
نسخه بسته 2.0.2
انتشار بسته alt2.1
معماری بسته i586
نگهدارنده -
تاریخ ساخت Mon 04 Apr 2016 04
هاست سازنده imz-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://bears.ece.ucsb.edu/pycudd.html
مجوز Free
حجم دانلود 94K
حجم نصب 490.903K
[This package was automatically repackaged from i586.] PyCUDD is an enhanced Python interface to the Colorado University BDD package, CUDD.


نیازمندی

مقدار نام
= 2.0.2-alt2.1 python3-module-pycudd
- libc.so.6(GLIBC_2.0)
- libc.so.6(GLIBC_2.1)
- libc.so.6(GLIBC_2.1.3)
- libc.so.6(GLIBC_2.3.4)
- libc.so.6(GLIBC_2.4)
>= set:nekIoXnCRVE87HtkVvI0u5OZBFltzTZ5dLnlj6BN9xMUFeZzh2GmprDB7Zp9FdiZ6KQvbZygEY886V4szYM59DSMoAvNN6H4ylLVfFQ7w6Dpqb5ZbRMYozl2Zuxd48WrcpGOYMahlQ7ihTachkpDLtHlX0y2878Bxv6nxeZpWawvFpwyEJDVzIAHy1OfZfzAmu1H4XmwDCbMfLy78IPJVGoyhNNMRHhxW8SUYpTRh2YcqqkZL8Q9wZeViFE11qd3WJ4tYe2XbbBMO3rOz94SHmCuTjVwdw4FWt10p2el6pVmG3VU6bQCaODsVZFmpwjZ0mUeNXU7DKGPYxD2fvVdplwfuoqwVudUmQHWBZjjUpwvkOCIoQRmW1luzhwj9AfHSlVY6R44WdZqNU2KpRtEmfJyl5ipkx7ogW4RMGDZ081oIreZF1DngkJM16H2Pw6ERLM4DXRBiGZaugdNBZ2SNze42GVVVtLaZFTq3osrNMkkwHf7JWAZykWXUg3gnbe1GSz4UkGeUcTscxDTK2bPD6e26NSydy1UWCcIIXGsWlyhWGm4FpeGsfLaV0CcEGYgEGaD0Qn3TAHlPfw2D1ylJWb5P3WdSp1Z8gE1nEna9FbnXuUbw35rrv0Mqla2LPfcH2u9iRYRc4WzoZh52ZdHLxsANPIL8uNNtgXDamr6Uc82O2UL5P29YTIpBEt3ZvhEjl0pAEZsAPP6znqdUJp4LU1jgVYxIh3cUvwbUvWhxXZqJ8rqE896LEY0GYFc5ZrnFB742ECIYbNr5Wq501M6WYZgO6iWDgA9GrMh0Sl2i4rdszqVkUXNILBABnjcX9xpekqtsWLGaUnbRcc libcudd.so.0
- rpmlib(SetVersions)
>= set:jg24aeUZqbiynfHY2ah2 libdddmp.so.0
>= set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCkvTO5xE6DG0nUXL1 libepd.so.0
- libgcc_s.so.1(GCC_3.0)
>= set:jiNJa libmtr.so.0
- libstdc++.so.6(CXXABI_1.3)
- libstdc++.so.6(CXXABI_1.3.1)
- libstdc++.so.6(GLIBCXX_3.4)
- libstdc++.so.6(GLIBCXX_3.4.11)
- libstdc++.so.6(GLIBCXX_3.4.21)
- libstdc++.so.6(GLIBCXX_3.4.9)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
= 2.0.2-alt2.1 i586-python3-module-pycudd


نحوه نصب


نصب پکیج rpm i586-python3-module-pycudd:

    sudo apt-get install i586-python3-module-pycudd-2.0.2-alt2.1.i586.rpm


فایل ها

مسیرها
/usr/lib/python3/site-packages/_pycudd.so


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

تاریخ آخرین تغییر جزئیات
2016-03-17

(NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10

2015-03-17

Applied patch from https://github.com/pysmt/pysmt/tree/master/patches

2015-03-16

Initial build for Sisyphus