cryptominisat-5.6.8-2.fc31 | Build Info

Information for build cryptominisat-5.6.8-2.fc31

107110

Package Name

cryptominisat

Version

5.6.8

Release

2.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/cryptominisat.git#1a43759477ef3a75f6893e5a90759fd92161bde1

Summary

SAT solver

Description

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

davidlt

State

complete

Volume

DEFAULT

Started

Tue, 30 Jul 2019 18:02:18 UTC

Completed

Tue, 30 Jul 2019 19:53:29 UTC

Task

build (f31-candidate, /rpms/cryptominisat.git:1a43759477ef3a75f6893e5a90759fd92161bde1)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/cryptominisat.git#1a43759477ef3a75f6893e5a90759fd92161bde1'}}

Tags

f31

f32

f33

RPMs

src
	cryptominisat-5.6.8-2.fc31.src.rpm (info) (download)
riscv64
	cryptominisat-5.6.8-2.fc31.riscv64.rpm (info) (download)
	cryptominisat-devel-5.6.8-2.fc31.riscv64.rpm (info) (download)
	cryptominisat-libs-5.6.8-2.fc31.riscv64.rpm (info) (download)
	python3-cryptominisat-5.6.8-2.fc31.riscv64.rpm (info) (download)
	cryptominisat-debuginfo-5.6.8-2.fc31.riscv64.rpm (info) (download)
	cryptominisat-debugsource-5.6.8-2.fc31.riscv64.rpm (info) (download)
	cryptominisat-libs-debuginfo-5.6.8-2.fc31.riscv64.rpm (info) (download)
	python3-cryptominisat-debuginfo-5.6.8-2.fc31.riscv64.rpm (info) (download)

Logs

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

Changelog

* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Tue Feb 19 2019 Jerry James <loganjerry@gmail.com> - 5.6.8-1 - New upstream release * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.6-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Thu Jan 24 2019 Jonathan Wakely <jwakely@redhat.com> - 5.6.6-3 - Rebuilt for Boost 1.69 * Thu Jan 17 2019 Jerry James <loganjerry@gmail.com> - 5.6.6-2 - Fix FTBFS with latest cmake release * Mon Dec 24 2018 Jerry James <loganjerry@gmail.com> - 5.6.6-1 - New upstream release * 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

Main Site Links:

Information for build cryptominisat-5.6.8-2.fc31