Пакет python3-module-pycosat: Информация
Исходный пакет: python3-module-pycosat
Версия: 0.6.1-alt5
Собран: 24 февраля 2021 г. 6:21 в задании #265234
Категория: Разработка/Python 3
Сообщить об ошибке в пакетеДомашняя страница: https://pypi.python.org/pypi/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)
python3-module-pycosat (x86_64, i586)
python3-module-pycosat-debuginfo (x86_64, i586)
Сопровождающий: Andrey Bychkov
Список участников:
Andrey Bychkov
Grigory Ustinov
Aleksei Nikiforov
Ivan Zakharyaschev
Sergey Alembekov
Eugeny A. Rostovtsev
Andrey Bychkov
Grigory Ustinov
Aleksei Nikiforov
Ivan Zakharyaschev
Sergey Alembekov
Eugeny A. Rostovtsev
Последнее изменение
20 ноября 2019 г. Andrey Bychkov 0.6.1-alt5
- python2 disabled
12 апреля 2019 г. Grigory Ustinov 0.6.1-alt4.git20140610
- Rebuild for python3.7.
22 марта 2018 г. Aleksei Nikiforov 0.6.1-alt3.git20140610.1.1
- (NMU) Rebuilt with python-3.6.4.