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

Бинарный пакет: python3-module-picosat

Версия: 965-alt1

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

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

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

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

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

Загрузка: python3-module-picosat-965-alt1.x86_64.rpm

Лог сборки: https://git.altlinux.org/tasks/225625/build/55240/x86_64/log

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