cryptominisat4-4.5.3-6.fc25.x86_64.rpm


Advertisement

Description

cryptominisat4 - SAT solver

Property Value
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

Package Version Architecture Repository
cryptominisat4-4.5.3-6.fc25.i686.rpm 4.5.3 i686 Fedora
cryptominisat4 - - -

Requires

Name Value
cryptominisat4-libs(x86-64) = 4.5.3-6.fc25
libboost_program_options.so.1.60.0()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libcryptominisat4.so.4.5()(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libm4ri-0.0.20140914.so()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(CXXABI_1.3.1)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.17)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
libz.so.1()(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
cryptominisat4 = 4.5.3-6.fc25
cryptominisat4(x86-64) = 4.5.3-6.fc25

Download

Type URL
Binary Package cryptominisat4-4.5.3-6.fc25.x86_64.rpm
Source Package cryptominisat4-4.5.3-6.fc25.src.rpm

Install Howto

Install the cryptominisat4 rpm package:

# dnf install cryptominisat4

Files

Path
/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

See Also

Package Description
cryptominisat4-devel-4.5.3-6.fc25.i686.rpm Header files for developing with cryptominisat4
cryptominisat4-devel-4.5.3-6.fc25.x86_64.rpm Header files for developing with cryptominisat4
cryptominisat4-libs-4.5.3-6.fc25.i686.rpm Cryptominisat library
cryptominisat4-libs-4.5.3-6.fc25.x86_64.rpm Cryptominisat library
cryptopp-5.6.3-5.fc25.i686.rpm C++ class library of cryptographic schemes
cryptopp-5.6.3-5.fc25.x86_64.rpm C++ class library of cryptographic schemes
cryptopp-devel-5.6.3-5.fc25.i686.rpm Header files and development documentation for cryptopp
cryptopp-devel-5.6.3-5.fc25.x86_64.rpm Header files and development documentation for cryptopp
cryptopp-doc-5.6.3-5.fc25.noarch.rpm Documentation for cryptopp
cryptopp-progs-5.6.3-5.fc25.x86_64.rpm Programs for manipulating cryptopp routines
cryptsetup-1.7.2-3.fc25.x86_64.rpm A utility for setting up encrypted disks
cryptsetup-devel-1.7.2-3.fc25.i686.rpm Headers and libraries for using encrypted file systems
cryptsetup-devel-1.7.2-3.fc25.x86_64.rpm Headers and libraries for using encrypted file systems
cryptsetup-libs-1.7.2-3.fc25.i686.rpm Cryptsetup shared library
cryptsetup-libs-1.7.2-3.fc25.x86_64.rpm Cryptsetup shared library
Advertisement
Advertisement