Пакет python3-module-pycosat: Информация

Исходный пакет: python3-module-pycosat

Версия: 0.6.6-alt1

Собран:  10 октября 2025 г. 19:13 в задании #389466

Категория: Разработка/Python 3

Gear: https://git.altlinux.org/gears/p/python3-module-pycosat.git?a=tr…

Домашняя страница: https://pypi.org/project/pycosat

VCS: https://github.com/conda/pycosat

Лицензия: MIT

О пакете: Bindings to picosat (a SAT solver)

Описание: 

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. For ease of deployment, the picosat source
(namely picosat.c and picosat.h) is included in this project. These
files have been extracted from the picosat source (picosat-954.tar.gz).

Список бинарных RPM-пакетов, собираемых из данного SRPM:
python3-module-pycosat (x86_64, i586)
python3-module-pycosat-debuginfo (x86_64, i586)

Сопровождающий: Grigory Ustinov

Права:
@python
Grigory Ustinov
@everybody