Пакет libminisat-devel: Информация
Бинарный пакет: libminisat-devel
Версия: 2.2.0-alt4
Архитектура: i586
Собран: 4 марта 2013 г. 9:28
Исходный пакет: libminisat
Категория: Разработка/C
Сообщить об ошибке в пакетеЗагрузка: libminisat-devel-2.2.0-alt4.i586.rpm
Домашняя страница: http://minisat.se
Лицензия: BSD style
О пакете: C/C++ development files for libminisat
Описание:
C/C++ development files for liblibminisat.
Сопровождающий: Michael Pozhidaev
Последнее изменение
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
22 декабря 2012 г. Michael Pozhidaev 2.2.0-alt2
- Variable value assumption support added