minisat2-2.2.1-20.fc41 | Build Info

Information for build minisat2-2.2.1-20.fc41

330103

Package Name

minisat2

Version

2.2.1

Release

20.fc41

Epoch

Source

git+https://src.fedoraproject.org/rpms/minisat2.git#4a463dc82257f2d48562b2ef2e6126ea25dbc4c0

Summary

Minimalistic SAT solver

Description

MiniSat 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 06 Aug 2024 06:52:55 UTC

Completed

Tue, 06 Aug 2024 08:00:45 UTC

Task

build (f41, /rpms/minisat2.git:4a463dc82257f2d48562b2ef2e6126ea25dbc4c0)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/minisat2.git#4a463dc82257f2d48562b2ef2e6126ea25dbc4c0'}}

Tags

f41

f42

RPMs

src
	minisat2-2.2.1-20.fc41.src.rpm (info) (download)
riscv64
	minisat2-2.2.1-20.fc41.riscv64.rpm (info) (download)
	minisat2-devel-2.2.1-20.fc41.riscv64.rpm (info) (download)
	minisat2-libs-2.2.1-20.fc41.riscv64.rpm (info) (download)
	minisat2-debuginfo-2.2.1-20.fc41.riscv64.rpm (info) (download)
	minisat2-debugsource-2.2.1-20.fc41.riscv64.rpm (info) (download)
	minisat2-libs-debuginfo-2.2.1-20.fc41.riscv64.rpm (info) (download)

Logs

riscv64
	hw_info.log
	state.log
	build.log
	root.log
	mock_output.log

Changelog

* 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 * Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.2.1-15 - Do not glob the library name * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2.1-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Main Site Links:

Information for build minisat2-2.2.1-20.fc41