Mon, 23 Dec 2024 05:21:03 UTC | login

Information for build cryptominisat-5.6.5-1.fc30

ID80044
Package Namecryptominisat
Version5.6.5
Release1.fc30
Epoch
SummarySAT solver
DescriptionCryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT solver. Highlights: - Instance simplification at every point of the search (inprocessing) - Over 100 configurable parameters to tune to specific needs - Collection of statistical data to MySQL database + javascript-based visualization of it - Clean C++ and python interfaces
Built bydavidlt
State complete
Volume DEFAULT
StartedWed, 05 Dec 2018 08:35:37 UTC
CompletedWed, 05 Dec 2018 14:12:29 UTC
Taskbuild (f30-candidate, cryptominisat-5.6.5-1.fc30.src.rpm)
Tags
f30
RPMs
src
cryptominisat-5.6.5-1.fc30.src.rpm (info) (download)
riscv64
cryptominisat-5.6.5-1.fc30.riscv64.rpm (info) (download)
cryptominisat-devel-5.6.5-1.fc30.riscv64.rpm (info) (download)
cryptominisat-libs-5.6.5-1.fc30.riscv64.rpm (info) (download)
python3-cryptominisat-5.6.5-1.fc30.riscv64.rpm (info) (download)
cryptominisat-debuginfo-5.6.5-1.fc30.riscv64.rpm (info) (download)
cryptominisat-debugsource-5.6.5-1.fc30.riscv64.rpm (info) (download)
cryptominisat-libs-debuginfo-5.6.5-1.fc30.riscv64.rpm (info) (download)
python3-cryptominisat-debuginfo-5.6.5-1.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sat Oct 13 2018 Jerry James <loganjerry@gmail.com> - 5.6.5-1 - New upstream release - Drop the python2 subpackage * Wed Aug 08 2018 Jerry James <loganjerry@gmail.com> - 5.6.4-1 - New upstream release * Sat Jul 21 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-4 - Add Obsoletes and Provides for cryptominisat4 * Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Tue Jun 19 2018 Miro HronĨok <mhroncok@redhat.com> - 5.6.3-2 - Rebuilt for Python 3.7 * Tue Jun 12 2018 Jerry James <loganjerry@gmail.com> - 5.6.3-1 - New upstream release - License change to MIT - Add python3 subpackage * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 5.0.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Tue Jan 23 2018 Jonathan Wakely <jwakely@redhat.com> - 5.0.1-2 - Rebuilt for Boost 1.66 * Sat Nov 25 2017 Jerry James <loganjerry@gmail.com> - 5.0.1-1 - Update to major version 5 * Sat Sep 23 2017 Jerry James <loganjerry@gmail.com> - 2.9.11-6 - Update the mariadb BR (bz 1493618) * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Mon May 15 2017 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.11-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.11-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild