معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Python bindings to picosat (a SAT solver)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything aarch64
نام بسته	python3-pycosat
نام فایل بسته	python3-pycosat-0.6.4-4.fc39.aarch64.rpm
نسخه بسته	0.6.4
انتشار بسته	4.fc39
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Fri 21 Jul 2023 04
هاست سازنده	buildvm-a64-31.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/ContinuumIO/pycosat
مجوز	MIT
حجم دانلود	30K
حجم نصب	256.474K

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This package provides efficient Python bindings to picosat on the C level, i.e. when importing pycosat, the picosat solver becomes part of the Python process itself.

جایگزین ها

بسته	نسخه	معماری	مخزن
python3-pycosat-0.6.4-4.fc39.x86_64.rpm	0.6.4	x86_64	Fedora Everything
python3-pycosat-debuginfo-0.6.4-4.fc39.aarch64.rpm	0.6.4	aarch64	Fedora Everything
python3-pycosat-debuginfo-0.6.4-4.fc39.x86_64.rpm	0.6.4	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	ld-linux-aarch64.so.1()(64bit)
-	ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.17)(64bit)
-	libpicosat.so.0()(64bit)
= 3.12	python(abi)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.6.4-4.fc39	python-pycosat
= 0.6.4-4.fc39	python3-pycosat
= 0.6.4-4.fc39	python3-pycosat(aarch-64)
= 0.6.4-4.fc39	python3.12-pycosat
= 0.6.4	python3.12dist(pycosat)
= 0.6.4	python3dist(pycosat)

نحوه نصب

نصب پکیج rpm python3-pycosat:

dnf install python3-pycosat-0.6.4-4.fc39.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/4844355e7684f9c025f2aad3d8800d7e629b83
/usr/lib64/python3.12/site-packages/__pycache__
/usr/lib64/python3.12/site-packages/__pycache__/test_pycosat.cpython-312.opt-1.pyc
/usr/lib64/python3.12/site-packages/__pycache__/test_pycosat.cpython-312.pyc
/usr/lib64/python3.12/site-packages/pycosat-0.6.4-py3.12.egg-info
/usr/lib64/python3.12/site-packages/pycosat-0.6.4-py3.12.egg-info/PKG-INFO
/usr/lib64/python3.12/site-packages/pycosat-0.6.4-py3.12.egg-info/SOURCES.txt
/usr/lib64/python3.12/site-packages/pycosat-0.6.4-py3.12.egg-info/dependency_links.txt
/usr/lib64/python3.12/site-packages/pycosat-0.6.4-py3.12.egg-info/top_level.txt
/usr/lib64/python3.12/site-packages/pycosat.cpython-312-aarch64-linux-gnu.so
/usr/lib64/python3.12/site-packages/test_pycosat.py
/usr/share/doc/python3-pycosat
/usr/share/doc/python3-pycosat/CHANGELOG
/usr/share/doc/python3-pycosat/README.rst
/usr/share/licenses/python3-pycosat

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

تاریخ آخرین تغییر	جزئیات
2023-07-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-06-13	Rebuilt for Python 3.12
2023-01-20	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-10-27	Update to 0.6.4
2022-07-22	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-06-13	Rebuilt for Python 3.11
2022-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
2021-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild