| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: cryptominisat | Distribution: Fedora Project |
| Version: 5.14.7 | Vendor: Fedora Project |
| Release: 1.fc45 | Build date: Wed Jul 8 20:43:08 2026 |
| Group: Unspecified | Build host: buildvm-ppc64le-21.rdu3.fedoraproject.org |
| Size: 558487 | Source RPM: cryptominisat-5.14.7-1.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://www.msoos.org/ | |
| Summary: SAT solver | |
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
MIT
* Wed Jul 08 2026 Jerry James <loganjerry@gmail.com> - 5.14.7-1 - Version 5.14.7 - Drop upstreamed breakid patch - Drop unused gperftools dependency * Thu Jun 04 2026 Python Maint <python-maint@redhat.com> - 5.14.5-2 - Rebuilt for Python 3.15 * Mon Jun 01 2026 Jerry James <loganjerry@gmail.com> - 5.14.5-1 - Version 5.14.5 - Use the cmake declarative buildsystem * Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 5.14.4-1 - Version 5.14.4 - Drop upstreamed fpic, python-library, and toml patches - Permit use of cmake 4 * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 5.13.0-5 - Drop old obsoletes - Be more precise about globbing in %files * Fri Dec 05 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-4 - Rebuild for cadical 2.2.0 - Fix underlinked cadiback library * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.13.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Tue Jun 03 2025 Python Maint <python-maint@redhat.com> - 5.13.0-2 - Rebuilt for Python 3.14 * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 5.13.0-1 - Version 5.13.0 - Add patch to adapt to breakid 3.1.3 - Add patch to fix -fPIC snafu * Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 5.12.1-1 - Version 5.12.1 - Drop upstreamed remove-old-api patch - Use zlib-ng instead of zlib * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Jan 13 2025 Jerry James <loganjerry@gmail.com> - 5.11.22-3 - Move configuration steps to %conf * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.11.22-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 5.11.22-1 - Version 5.11.22 - Simplify license to just MIT now that BSD-3-Clause code is gone - Bundle cadiback, which is not available as a library upstream - Minor spec file simplifications
/usr/bin/cryptominisat5 /usr/bin/cryptominisat5-oracle /usr/lib/.build-id /usr/lib/.build-id/b3 /usr/lib/.build-id/b3/85f07f6274438aea6008bf993d654f027e22c0 /usr/lib/.build-id/e5 /usr/lib/.build-id/e5/830dbb0fd23e0393d822fbed4faa9070e9370c /usr/share/doc/cryptominisat /usr/share/doc/cryptominisat/README.md /usr/share/man/man1/cryptominisat5.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri Jul 10 00:22:18 2026