Группа :: Науки/Математика
Пакет: picosat
Главная Изменения Спек Патчи Sources Загрузить Gear Bugs and FR Repocop
Текущая версия: 965-alt3
Время сборки: 12 июля 2020, 12:02 ( 197.6 недели назад )
Размер архива: 58.38 Kb
Домашняя страница: http://fmv.jku.at/picosat/
Лицензия: MIT
О пакете: PicoSAT solver
Описание:
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:
Список rpm-пакетов, предоставляемый данным srpm-пакетом:
ACL:
Время сборки: 12 июля 2020, 12:02 ( 197.6 недели назад )
Размер архива: 58.38 Kb
Домашняя страница: http://fmv.jku.at/picosat/
Лицензия: MIT
О пакете: PicoSAT solver
Описание:
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.
Текущий майнтейнер: Eugeny A. Rostovtsev (REAL) 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.
Список всех майнтейнеров, принимавших участие
в данной и/или предыдущих сборках пакета:
- libpicosat
- libpicosat-debuginfo
- libpicosat-devel
- picosat
- picosat-debuginfo
- python-module-picosat-debuginfo
- python-module-picosat
- python3-module-picosat
- python3-module-picosat-debuginfo