معرفی شرکت ها

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


جایگزین ها

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


نیازمندی

مقدار نام
- /usr/lib64/python3/site-packages
- libc.so.6(GLIBC_2.14)(64bit)
- libc.so.6(GLIBC_2.2.5)(64bit)
- libc.so.6(GLIBC_2.3.4)(64bit)
- libc.so.6(GLIBC_2.4)(64bit)
>= set:nekIoXnCRVE87HtkVvI0u5OZBFltzTZ5dLnlj6BN9xMUFeZzh2GmprDB7Zp9FdiZ6KQvbZygEY886V4szYM59DSMoAvNN6H4ylLVfFQ7w6Dpqb5ZbRMYozl2Zuxd48WrcpGOYMahlQ7ihTachkpDLtHlX0y2878Bxv6nxeZpWawvFpwyEJDVzIAHy1OfZfzAmu1H4XmwDCbMfLy78IPJVGoyhNNMRHhxW8SUYpTRh2YcqqkZL8Q9wZeViFE11qd3WJ4tYe2XbbBMO3rOz94SHmCuTjVwdw4FWt10p2el6pVmG3VU6bQCaODsVZFmpwjZ0mUeNXU7DKGPYxD2fvVdplwfuoqwVudUmQHWBZjjUpwvkOCIoQRmW1luzhwj9AfHSlVY6R44WdZqNU2KpRtEmfJyl5ipkx7ogW4RMGDZ081oIreZF1DngkJM16H2Pw6ERLM4DXRBiGZaugdNBZ2SNze42GVVVtLaZFTq3osrNMkkwHf7JWAZykWXUg3gnbe1GSz4UkGeUcTscxDTK2bPD6e26NSydy1UWCcIIXGsWlyhWGm4FpeGsfLaV0CcEGYgEGaD0Qn3TAHlPfw2D1ylJWb5P3WdSp1Z8gE1nEna9FbnXuUbw35rrv0Mqla2LPfcH2u9iRYRc4WzoZh52ZdHLxsANPIL8uNNtgXDamr6Uc82O2UL5P29YTIpBEt3ZvhEjl0pAEZsAPP6znqdUJp4LU1jgVYxIh3cUvwbUvWhxXZqJ8rqE896LEY0GYFc5ZrnFB742ECIYbNr5Wq501M6WYZgO6iWDgA9GrMh0Sl2i4rdszqVkUXNILBABnjcX9xpekqtsWLGaUnbRcc libcudd.so.0()(64bit)
- rpmlib(SetVersions)
>= set:jg24aeUZqbiynfHY2ah2 libdddmp.so.0()(64bit)
>= set:jdkbFKs4ogZg0TAZc0tq69MT6e975QNgju4sv770f60vTxMfjnNkMMG8trDqZCkvTO5xE6DG0nUXL1 libepd.so.0()(64bit)
- libgcc_s.so.1(GCC_3.0)(64bit)
>= set:jiNJa libmtr.so.0()(64bit)
- libstdc++.so.6(CXXABI_1.3)(64bit)
- libstdc++.so.6(CXXABI_1.3.1)(64bit)
- libstdc++.so.6(GLIBCXX_3.4)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
- libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
- python3.5-ABI(64bit)
- rtld(GNU_HASH)
- rpmlib(PayloadIsLzma)


ارائه دهنده

مقدار نام
- python3(pycudd)
- python3.3(pycudd)
- python3(_pycudd)
- python3.3(_pycudd)
= 2.0.2-alt2.1 python3-module-pycudd


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib64/python3/site-packages/__pycache__
/usr/lib64/python3/site-packages/__pycache__/pycudd.cpython-35.opt-1.pyc
/usr/lib64/python3/site-packages/__pycache__/pycudd.cpython-35.opt-2.pyc
/usr/lib64/python3/site-packages/__pycache__/pycudd.cpython-35.pyc
/usr/lib64/python3/site-packages/_pycudd.so
/usr/lib64/python3/site-packages/pycudd.py
/usr/share/doc/python3-module-pycudd-2.0.2
/usr/share/doc/python3-module-pycudd-2.0.2/README
/usr/share/doc/python3-module-pycudd-2.0.2/UNIMPLEMENTED
/usr/share/doc/python3-module-pycudd-2.0.2/cuddAllDet.html
/usr/share/doc/python3-module-pycudd-2.0.2/example1.py
/usr/share/doc/python3-module-pycudd-2.0.2/example2.py
/usr/share/doc/python3-module-pycudd-2.0.2/example3.py
/usr/share/doc/python3-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