Пакет python3-module-picosat: Информация
Бинарный пакет: python3-module-picosat
Версия: 960-alt2.1
Архитектура: x86_64
Собран: 4 апреля 2016 г. 7:27 в задании #159698
Исходный пакет: picosat
Категория: Разработка/Python 3
Сообщить об ошибке в пакетеДомашняя страница: http://fmv.jku.at/picosat/
Лицензия: MIT
О пакете: Python bindings of picosat
Описание:
The SAT problem is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). General information on SAT can be found at www.satlive.org or www.satlib.org. This package contains Python bindings of picosat.
Сопровождающий: Eugeny A. Rostovtsev
Последнее изменение
17 марта 2016 г. Ivan Zakharyaschev 960-alt2.1
- (NMU) rebuild with python3-3.5 & rpm-build-python3-0.1.10 (for ABI dependence and new python3(*) reqs)
17 марта 2015 г. Eugeny A. Rostovtsev 960-alt2
- Applied patch from https://github.com/pysmt/pysmt/tree/master/patches for Python bindings
17 марта 2015 г. Eugeny A. Rostovtsev 960-alt1
- Initial build for Sisyphus