fedora

Information for build minisat2-2.2.1-21.fc42

ID9182
Package Nameminisat2
Version2.2.1
Release21.fc42
Epoch
DraftFalse
SummaryMinimalistic SAT solver
DescriptionMiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 09 Jun 2025 16:33:34 UTC
CompletedMon, 09 Jun 2025 16:33:34 UTC
Tags
f42
RPMs
src
minisat2-2.2.1-21.fc42.src.rpm (info) (download)
riscv64
minisat2-2.2.1-21.fc42.riscv64.rpm (info) (download)
minisat2-devel-2.2.1-21.fc42.riscv64.rpm (info) (download)
minisat2-libs-2.2.1-21.fc42.riscv64.rpm (info) (download)
minisat2-debuginfo-2.2.1-21.fc42.riscv64.rpm (info) (download)
minisat2-debugsource-2.2.1-21.fc42.riscv64.rpm (info) (download)
minisat2-libs-debuginfo-2.2.1-21.fc42.riscv64.rpm (info) (download)
Changelog * Fri Jan 17 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-19 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild