Пакет libpicosat-devel: Информация

Бинарный пакет: libpicosat-devel

Версия: 960-alt2.1

Архитектура: i586

Собран:  4 апреля 2016 г. 7:27 в задании #159698

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

Категория: Разработка/C

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

Загрузка: libpicosat-devel-960-alt2.1.i586.rpm

Лог сборки: https://git.altlinux.org/tasks/159698/build/4200/i586/log

Домашняя страница: http://fmv.jku.at/picosat/

Лицензия: MIT

О пакете: Development files 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 development files of picosat.

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