معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Python bindings to picosat (a SAT solver)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 37
مخزن	Fedora Everything x86_64
نام بسته	python3-pycosat
نام فایل بسته	python3-pycosat-0.6.3-19.fc37.x86_64.rpm
نسخه بسته	0.6.3
انتشار بسته	19.fc37
معماری بسته	x86_64
نگهدارنده	-
تاریخ ساخت	Sat 23 Jul 2022 01
هاست سازنده	buildvm-x86-15.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	https://github.com/ContinuumIO/pycosat
مجوز	MIT
حجم دانلود	30K
حجم نصب	91.716K

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.3-19.fc37.aarch64.rpm	0.6.3	aarch64	Fedora Everything
python3-pycosat-debuginfo-0.6.3-19.fc37.aarch64.rpm	0.6.3	aarch64	Fedora Everything
python3-pycosat-debuginfo-0.6.3-19.fc37.x86_64.rpm	0.6.3	x86_64	Fedora Everything

نیازمندی

مقدار	نام
-	libc.so.6()(64bit)
-	libc.so.6(GLIBC_2.2.5)(64bit)
-	libc.so.6(GLIBC_2.4)(64bit)
-	libpicosat.so.0()(64bit)
= 3.11	python(abi)
-	rtld(GNU_HASH)

ارائه دهنده

مقدار	نام
= 0.6.3-19.fc37	python-pycosat
= 0.6.3-19.fc37	python3-pycosat
= 0.6.3-19.fc37	python3-pycosat(x86-64)
= 0.6.3-19.fc37	python3.11-pycosat
= 0.6.3	python3.11dist(pycosat)
= 0.6.3	python3dist(pycosat)

نحوه نصب

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

dnf install python3-pycosat-0.6.3-19.fc37.x86_64.rpm

فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/71
/usr/lib/.build-id/71/b74e0b6e3a52862fb0a2fd5a6ed9121886f416
/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.3-py3.11.egg-info
/usr/lib64/python3.11/site-packages/pycosat-0.6.3-py3.11.egg-info/PKG-INFO
/usr/lib64/python3.11/site-packages/pycosat-0.6.3-py3.11.egg-info/SOURCES.txt
/usr/lib64/python3.11/site-packages/pycosat-0.6.3-py3.11.egg-info/dependency_links.txt
/usr/lib64/python3.11/site-packages/pycosat-0.6.3-py3.11.egg-info/top_level.txt
/usr/lib64/python3.11/site-packages/pycosat.cpython-311-x86_64-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

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

تاریخ آخرین تغییر	جزئیات
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
2020-07-29	Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild