Пакет picosat: Информация

Исходный пакет: picosat

Версия: 965-alt1

Собран:  18 апреля 2019 г. 18:55 в задании #225625

Категория: Науки/Математика

Gear: https://git.altlinux.org/gears/p/picosat.git?a=tree;hb=f1acf8487…

Домашняя страница: 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.

Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libpicosat (x86_64, i586)
libpicosat-debuginfo (x86_64, i586)
libpicosat-devel (x86_64, i586)
picosat (x86_64, i586)
picosat-debuginfo (x86_64, i586)
python-module-picosat (x86_64, i586)
python-module-picosat-debuginfo (x86_64, i586)
python3-module-picosat (x86_64, i586)
python3-module-picosat-debuginfo (x86_64, i586)

Сопровождающий: Eugeny A. Rostovtsev