cryptominisat-2.9.11-1.fc25.x86_64.rpm


Advertisement

Description

cryptominisat - SAT solver

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

Package Version Architecture Repository
cryptominisat-2.9.11-1.fc25.i686.rpm 2.9.11 i686 Fedora
cryptominisat - - -

Requires

Name Value
cryptominisat-libs(x86-64) = 2.9.11-1.fc25
libc.so.6(GLIBC_2.14)(64bit) -
libcryptominisat-2.9.11.so()(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libgomp.so.1()(64bit) -
libgomp.so.1(GOMP_1.0)(64bit) -
libgomp.so.1(GOMP_4.0)(64bit) -
libgomp.so.1(OMP_1.0)(64bit) -
libm.so.6()(64bit) -
libmysqlclient.so.18()(64bit) -
libpthread.so.0()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
librt.so.1()(64bit) -
librt.so.1(GLIBC_2.3.3)(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.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
libz.so.1()(64bit) -
rtld(GNU_HASH) -

Provides

Name Value
cryptominisat = 2.9.11-1.fc25
cryptominisat(x86-64) = 2.9.11-1.fc25

Download

Type URL
Binary Package cryptominisat-2.9.11-1.fc25.x86_64.rpm
Source Package cryptominisat-2.9.11-1.fc25.src.rpm

Install Howto

Install the cryptominisat rpm package:

# dnf install cryptominisat

Files

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

See Also

Package Description
cryptominisat-devel-2.9.11-1.fc25.i686.rpm Header files for developing with cryptominisat
cryptominisat-devel-2.9.11-1.fc25.x86_64.rpm Header files for developing with cryptominisat
cryptominisat-libs-2.9.11-1.fc25.i686.rpm Cryptominisat library
cryptominisat-libs-2.9.11-1.fc25.x86_64.rpm Cryptominisat library
cryptominisat4-4.5.3-6.fc25.x86_64.rpm SAT solver
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
Advertisement
Advertisement