Thu, 09 May 2024 20:24:34 UTC | login

Information for build cryptominisat-2.9.11-5.fc28

ID1901
Package Namecryptominisat
Version2.9.11
Release5.fc28
Epoch
SummarySAT solver
DescriptionCryptoMiniSat is a SAT solver that aims to become a premiere SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an efficient sequential, parallel and distributed solver. There are solvers that are good at one or the other, e.g. ManySat (parallel) or PSolver (distributed), but we wish to excel at all. CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by researchers and industry.
Built bykojiadmin
State complete
Volume DEFAULT
StartedSat, 14 Apr 2018 19:50:16 UTC
CompletedSat, 14 Apr 2018 19:50:16 UTC
Tags
f28
f29
RPMs
src
cryptominisat-2.9.11-5.fc28.src.rpm (info) (download)
riscv64
cryptominisat-2.9.11-5.fc28.riscv64.rpm (info) (download)
cryptominisat-devel-2.9.11-5.fc28.riscv64.rpm (info) (download)
cryptominisat-libs-2.9.11-5.fc28.riscv64.rpm (info) (download)
Changelog * 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 * Sat Mar 19 2016 Jerry James <loganjerry@gmail.com> - 2.9.11-1 - New upstream release * Sat Mar 05 2016 Jerry James <loganjerry@gmail.com> - 2.9.10-3 - post/postun scripts are for libs, not the main package * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.9.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Fri Sep 04 2015 Jerry James <loganjerry@gmail.com> - 2.9.10-1 - New upstream release * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 2.9.9-5 - Rebuilt for GCC 5 C++11 ABI change * Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 2.9.9-4 - Use license macro * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Tue Mar 18 2014 Jerry James <loganjerry@gmail.com> - 2.9.9-1 - New upstream release * Mon Sep 23 2013 Jerry James <loganjerry@gmail.com> - 2.9.8-1 - New upstream release * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Mon Mar 11 2013 Jerry James <loganjerry@gmail.com> - 2.9.6-1 - New upstream release * Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.5-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Mon Aug 06 2012 Jerry James <loganjerry@gmail.com> - 2.9.5-1 - New upstream release - Project files now carry the MIT license * Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Mon Apr 16 2012 Jerry James <loganjerry@gmail.com> - 2.9.3-1 - New upstream version * Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.2-2 - Rebuilt for c++ ABI breakage * Mon Jan 23 2012 Jerry James <loganjerry@gmail.com> - 2.9.2-1 - New upstream version - Man page is now upstream - All patches have been applied upstream - Tests have been removed from the source distribution * Mon Jan 09 2012 Jerry James <loganjerry@gmail.com> - 2.9.1-3 - Rebuild for GCC 4.7 * Mon Dec 19 2011 Dan Horák <dan[at]danny.cz> - 2.9.1-2 - FPU handling is x86 specific - set library path so the test is run * Wed Dec 07 2011 Jerry James <loganjerry@gmail.com> - 2.9.1-1 - Initial RPM