cryptominisat4-4.5.3-6.fc25.x86_64.rpm


Advertisement

Description

cryptominisat4 - SAT solver

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cryptominisat4
Package version: 4.5.3
Package release: 6.fc25
Package architecture: x86_64
Package type: rpm
Installed size: 249.46 KB
Download size: 89.06 KB
Official Mirror: dl.fedoraproject.org
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

Alternatives

Provides

  • cryptominisat4 = 4.5.3-6.fc25
  • cryptominisat4(x86-64) = 4.5.3-6.fc25

    Install Howto

    Install the cryptominisat4 rpm package:

    # dnf install cryptominisat4

    Files

    • /usr/bin/cryptominisat4
    • /usr/bin/cryptominisat4_simple
    • /usr/share/doc/cryptominisat4/README.markdown
    • /usr/share/man/man1/cryptominisat4.1.gz

    Changelog

    2016-07-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.5.3-6 - https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages

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

    2016-01-15 - Jonathan Wakely <jwakely@redhat.com> - 4.5.3-4 - Rebuilt for Boost 1.60

    2015-09-04 - Jonathan Wakely <jwakely@redhat.com> - 4.5.3-3 - Rebuilt for Boost 1.59

    2015-08-28 - Jerry James <loganjerry@gmail.com> - 4.5.3-2 - Fix license - Also remove rpath from cryptominisat4_simple

    2015-08-28 - Jerry James <loganjerry@gmail.com> - 4.5.3-1 - New upstream version

    2015-08-22 - Jerry James <loganjerry@gmail.com> - 4.5.2-1 - Initial RPM

    Advertisement
    Advertisement