cryptominisat-2.9.11-1.fc25.x86_64.rpm


Advertisement

Description

cryptominisat - SAT solver

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cryptominisat
Package version: 2.9.11
Package release: 1.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 55.73 KB
Download size: 35.87 KB
Official Mirror: dl.fedoraproject.org
CryptoMiniSat 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.

Alternatives

Provides

  • cryptominisat = 2.9.11-1.fc25
  • cryptominisat(x86-64) = 2.9.11-1.fc25

    Install Howto

    Install the cryptominisat rpm package:

    # dnf install cryptominisat

    Files

    • /usr/bin/cryptominisat
    • /usr/share/man/man1/cryptominisat.1.gz

    Changelog

    2016-03-19 - Jerry James <loganjerry@gmail.com> - 2.9.11-1 - New upstream release

    2016-03-05 - Jerry James <loganjerry@gmail.com> - 2.9.10-3 - post/postun scripts are for libs, not the main package

    2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 2.9.10-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild

    2015-09-04 - Jerry James <loganjerry@gmail.com> - 2.9.10-1 - New upstream release

    2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild

    2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 2.9.9-5 - Rebuilt for GCC 5 C++11 ABI change

    2015-02-11 - Jerry James <loganjerry@gmail.com> - 2.9.9-4 - Use license macro

    2014-08-16 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild

    2014-06-07 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 2.9.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild

    2014-03-18 - Jerry James <loganjerry@gmail.com> - 2.9.9-1 - New upstream release

    Advertisement
    Advertisement