معرفی شرکت ها


python-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
نام بسته python-module-pycudd
نام فایل بسته python-module-pycudd-2.0.2-alt2.1.i586.rpm
نسخه بسته 2.0.2
انتشار بسته alt2.1
معماری بسته i586
نگهدارنده -
تاریخ ساخت Sat 02 Apr 2016 04
هاست سازنده imz-sisyphus.hasher.altlinux.org
نوع بسته .rpm
آدرس صفحه اصلی http://bears.ece.ucsb.edu/pycudd.html
مجوز Free
حجم دانلود 172K
حجم نصب 1.302M
PyCUDD is an enhanced Python interface to the Colorado University BDD package, CUDD.


جایگزین ها

بسته نسخه معماری مخزن
python-module-pycudd-2.0.2-alt2.1.x86_64.rpm 2.0.2 x86_64 ALT classic


نیازمندی

مقدار نام
- /usr/lib/python2.7/site-packages
- 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)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- python2.7(pycudd)
- python2.7(_pycudd)
= 2.0.2-alt2.1 python-module-pycudd


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib/python2.7/site-packages/_pycudd.so
/usr/lib/python2.7/site-packages/pycudd.py
/usr/lib/python2.7/site-packages/pycudd.pyc
/usr/lib/python2.7/site-packages/pycudd.pyo
/usr/share/doc/python-module-pycudd-2.0.2
/usr/share/doc/python-module-pycudd-2.0.2/README
/usr/share/doc/python-module-pycudd-2.0.2/UNIMPLEMENTED
/usr/share/doc/python-module-pycudd-2.0.2/cuddAllDet.html
/usr/share/doc/python-module-pycudd-2.0.2/example1.py
/usr/share/doc/python-module-pycudd-2.0.2/example2.py
/usr/share/doc/python-module-pycudd-2.0.2/example3.py
/usr/share/doc/python-module-pycudd-2.0.2/pycudd_doc.html


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

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