Пакет libminisat: Информация
Исходный пакет: libminisat
Версия: 2.2.0-alt5
Собран: 7 июля 2022 г. 0:03
Категория: Система/Библиотеки
Сообщить об ошибке в пакетеДомашняя страница: http://minisat.se
Лицензия: BSD style
О пакете: The library for Boolean satisfiability problem solving
Описание:
This package contains libminisat library as Deepsolver engine for SAT solving. You can find original library at http://minisat.se.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libminisat (e2kv6, e2kv5, e2kv4, e2k)
libminisat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
libminisat-devel (e2kv6, e2kv5, e2kv4, e2k)
libminisat-devel-static (e2kv6, e2kv5, e2kv4, e2k)
libminisat (e2kv6, e2kv5, e2kv4, e2k)
libminisat-debuginfo (e2kv6, e2kv5, e2kv4, e2k)
libminisat-devel (e2kv6, e2kv5, e2kv4, e2k)
libminisat-devel-static (e2kv6, e2kv5, e2kv4, e2k)
Сопровождающий: Michael Pozhidaev
Последнее изменение
5 декабря 2013 г. Michael Pozhidaev 2.2.0-alt5
- Fixed building bug with missed m4 directory
1 марта 2013 г. Michael Pozhidaev 2.2.0-alt4
- Proper collisions support - Assumptions support is removed
19 января 2013 г. Michael Pozhidaev 2.2.0-alt3
- Conflicts analyzing is added