معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Python bindings to picosat (a SAT solver)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 38
مخزن	Fedora Everything aarch64
نام بسته	python3-pycosat
نام فایل بسته	python3-pycosat-0.6.4-2.fc38.aarch64.rpm
نسخه بسته	0.6.4
انتشار بسته	2.fc38
معماری بسته	aarch64
نگهدارنده	-
تاریخ ساخت	Fri 20 Jan 2023 07
هاست سازنده	buildvm-a64-16.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/ContinuumIO/pycosat
مجوز	MIT
حجم دانلود	31K
حجم نصب	267.830K

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-2.fc38.x86_64.rpm	0.6.4	x86_64	Fedora Everything
python3-pycosat-debuginfo-0.6.4-2.fc38.aarch64.rpm	0.6.4	aarch64	Fedora Everything
python3-pycosat-debuginfo-0.6.4-2.fc38.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.11	python(abi)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.6.4-2.fc38	python-pycosat
= 0.6.4-2.fc38	python3-pycosat
= 0.6.4-2.fc38	python3-pycosat(aarch-64)
= 0.6.4-2.fc38	python3.11-pycosat
= 0.6.4	python3.11dist(pycosat)
= 0.6.4	python3dist(pycosat)

نحوه نصب

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

dnf install python3-pycosat-0.6.4-2.fc38.aarch64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/69
/usr/lib/.build-id/69/6f3b5ca5d30596896cf4c8141b792ae1e41e82
/usr/lib64/python3.11/site-packages/__pycache__
/usr/lib64/python3.11/site-packages/__pycache__/test_pycosat.cpython-311.opt-1.pyc
/usr/lib64/python3.11/site-packages/__pycache__/test_pycosat.cpython-311.pyc
/usr/lib64/python3.11/site-packages/pycosat-0.6.4-py3.11.egg-info
/usr/lib64/python3.11/site-packages/pycosat-0.6.4-py3.11.egg-info/PKG-INFO
/usr/lib64/python3.11/site-packages/pycosat-0.6.4-py3.11.egg-info/SOURCES.txt
/usr/lib64/python3.11/site-packages/pycosat-0.6.4-py3.11.egg-info/dependency_links.txt
/usr/lib64/python3.11/site-packages/pycosat-0.6.4-py3.11.egg-info/top_level.txt
/usr/lib64/python3.11/site-packages/pycosat.cpython-311-aarch64-linux-gnu.so
/usr/lib64/python3.11/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-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
2021-06-04	Rebuilt for Python 3.10
2021-01-27	Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild