Группа :: Development/Python3
Пакет: python3-module-pycosat
навигация по пакетам
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 0.6.1-alt5
Время сборки: 20 ноября 2019, 12:06 ( 231.7 недели назад )
Размер архива: 53.38 Kb
Домашняя страница: https://pypi.python.org/pypi/pycosat/
Лицензия: MIT
О пакете: Bindings to picosat (a SAT solver)
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:
Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 20 ноября 2019, 12:06 ( 231.7 недели назад )
Размер архива: 53.38 Kb
Домашняя страница: 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).
Текущий майнтейнер: Andrey Bychkov 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).
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:
- python3-module-pycosat-debuginfo
- python3-module-pycosat