Пакет minisat: Информация
Исходный пакет: minisat
Версия: 2.2.1-alt1
Собран: 18 ноября 2023 г. 1:03 в задании #334491
Категория: Науки/Математика
Сообщить об ошибке в пакетеДомашняя страница: http://minisat.se/
Лицензия: MIT
О пакете: A minimalistic and high-performance SAT solver
Описание:
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
libminisat-devel (x86_64, ppc64le, i586, armh, aarch64)
libminisat-devel-static (x86_64, ppc64le, i586, armh, aarch64)
libminisat2 (x86_64, ppc64le, i586, armh, aarch64)
libminisat2-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
minisat (x86_64, ppc64le, i586, armh, aarch64)
minisat-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
libminisat-devel (x86_64, ppc64le, i586, armh, aarch64)
libminisat-devel-static (x86_64, ppc64le, i586, armh, aarch64)
libminisat2 (x86_64, ppc64le, i586, armh, aarch64)
libminisat2-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
minisat (x86_64, ppc64le, i586, armh, aarch64)
minisat-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Сопровождающий: 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