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

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

Версия: 965-alt3

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

Собран:  20 января 2024 г. 23:07

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

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

Загрузка: libpicosat-devel-965-alt3.loongarch64.rpm

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