Репозиторий Sisyphus
Последнее обновление: 19 октября 2019 | Пакетов: 17506 | Посещений: 15301738
en ru br
Репозитории ALT
S:0.6.1-alt4.git20140610
www.altlinux.org/Changes

Группа :: Разработка/Python
Пакет: python-module-pycosat

 Главная   Изменения   Спек   Патчи   Sources   Загрузить   Gear   Bugs and FR  Repocop 

Текущая версия: 0.6.1-alt4.git20140610
Время сборки: 16 апреля 2019, 02:24 ( 26.8 недели назад )
Размер архива: 53.48 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).

Текущий майнтейнер: Eugeny A. Rostovtsev (REAL)

Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:

Список rpm-пакетов, предоставляемый данным srpm-пакетом:

  • python-module-pycosat
  • python-module-pycosat-debuginfo
  • python3-module-pycosat-debuginfo
  • python3-module-pycosat
ACL:
     
    дизайн и разработка: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    текущий майнтейнер: Michael Shigorin