Пакет libminisat-devel-static: Информация
Бинарный пакет: libminisat-devel-static
Версия: 2.2.1-alt1
Архитектура: x86_64
Собран: 18 ноября 2023 г. 1:03 в задании #334491
Исходный пакет: minisat
Категория: Разработка/C
Сообщить об ошибке в пакетеДомашняя страница: http://minisat.se/
Лицензия: MIT
О пакете: Static library for minisat
Описание:
Static library for minisat. This is what CBMC requires to compile.
Сопровождающий: Vitaly Chikunov
Последнее изменение
15 ноября 2023 г. Vitaly Chikunov 2.2.1-alt1
- Revive the package (for cbmc). - Upstream is abandoned sine 2013-09-25, community released what had not been released as 2.2.1 (2018-03-07), then maintaining mostly CMake build system.
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