Tue, 18 Jan 2022 10:13:08 UTC

Information for build cryptominisat4-4.5.3-2.fc23

ID681510
Package Namecryptominisat4
Version4.5.3
Release2.fc23
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 byjjames
State complete
Volume fedora_koji_archive01
StartedSun, 30 Aug 2015 22:26:04 UTC
CompletedSun, 30 Aug 2015 22:33:40 UTC
Taskbuild (f23-candidate, /cryptominisat4:9d4b4bc95b17c3d0c5e3c4e198d6f1250d9763ce)
Tags
f23
f23_Beta
RPMs
src
cryptominisat4-4.5.3-2.fc23.src.rpm (info) (download)
armv7hl
cryptominisat4-4.5.3-2.fc23.armv7hl.rpm (info) (download)
cryptominisat4-devel-4.5.3-2.fc23.armv7hl.rpm (info) (download)
cryptominisat4-libs-4.5.3-2.fc23.armv7hl.rpm (info) (download)
python-cryptominisat4-4.5.3-2.fc23.armv7hl.rpm (info) (download)
cryptominisat4-debuginfo-4.5.3-2.fc23.armv7hl.rpm (info) (download)
i686
cryptominisat4-4.5.3-2.fc23.i686.rpm (info) (download)
cryptominisat4-devel-4.5.3-2.fc23.i686.rpm (info) (download)
cryptominisat4-libs-4.5.3-2.fc23.i686.rpm (info) (download)
python-cryptominisat4-4.5.3-2.fc23.i686.rpm (info) (download)
cryptominisat4-debuginfo-4.5.3-2.fc23.i686.rpm (info) (download)
x86_64
cryptominisat4-4.5.3-2.fc23.x86_64.rpm (info) (download)
cryptominisat4-devel-4.5.3-2.fc23.x86_64.rpm (info) (download)
cryptominisat4-libs-4.5.3-2.fc23.x86_64.rpm (info) (download)
python-cryptominisat4-4.5.3-2.fc23.x86_64.rpm (info) (download)
cryptominisat4-debuginfo-4.5.3-2.fc23.x86_64.rpm (info) (download)
Logs
armv7hl
build.log
root.log
state.log
x86_64
root.log
state.log
build.log
i686
state.log
build.log
root.log
Changelog * Fri Aug 28 2015 Jerry James <loganjerry@gmail.com> - 4.5.3-2 - Fix license - Also remove rpath from cryptominisat4_simple * Fri Aug 28 2015 Jerry James <loganjerry@gmail.com> - 4.5.3-1 - New upstream version * Sat Aug 22 2015 Jerry James <loganjerry@gmail.com> - 4.5.2-1 - Initial RPM