Пакет libminisat-devel-static: Информация
Бинарный пакет: libminisat-devel-static
Версия: 2.2.0-alt5
Архитектура: x86_64
Собран: 5 декабря 2013 г. 11:21 в задании #109998
Исходный пакет: libminisat
Категория: Разработка/C
Сообщить об ошибке в пакетеДомашняя страница: http://minisat.se
Лицензия: BSD style
О пакете: The static library with libminisat functions
Описание:
The static library with libminisat functions.
Сопровождающий: 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