Thu, 28 Mar 2024 21:41:53 CST | login

Information for build minisat2-2.2.1-15.fc37

ID18150
Package Nameminisat2
Version2.2.1
Release15.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/minisat2.git#7d2aa949b71f793530bdc1ad8a1e208f592b9082
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 bykojiadmin
State complete
Volume DEFAULT
StartedTue, 24 Jan 2023 18:46:07 CST
CompletedTue, 24 Jan 2023 19:06:33 CST
Taskbuild (f37-build-side-32-misc-devel, /rpms/minisat2.git:7d2aa949b71f793530bdc1ad8a1e208f592b9082)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/minisat2.git#7d2aa949b71f793530bdc1ad8a1e208f592b9082'}}
Tags
f37-build-side-32-misc-devel
f37-updates
RPMs
src
minisat2-2.2.1-15.fc37.src.rpm (info) (download)
riscv64
minisat2-2.2.1-15.fc37.riscv64.rpm (info) (download)
minisat2-devel-2.2.1-15.fc37.riscv64.rpm (info) (download)
minisat2-libs-2.2.1-15.fc37.riscv64.rpm (info) (download)
minisat2-debuginfo-2.2.1-15.fc37.riscv64.rpm (info) (download)
minisat2-debugsource-2.2.1-15.fc37.riscv64.rpm (info) (download)
minisat2-libs-debuginfo-2.2.1-15.fc37.riscv64.rpm (info) (download)
Logs
riscv64
installed_pkgs.log
root.log
state.log
build.log
hw_info.log
mock_output.log
Changelog * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-11 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild