cryptominisat-devel-2.9.11-1.fc25.i686.rpm


Advertisement

Description

cryptominisat-devel - Header files for developing with cryptominisat

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name cryptominisat-devel
Package version 2.9.11
Package release 1.fc25
Package architecture i686
Package type rpm
Installed size 250.28 KB
Download size 64.33 KB
Official Mirror dl.fedoraproject.org
Header files for developing applications that use cryptominisat.

Alternatives

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

Requires

Name Value
cryptominisat-libs(x86-32) = 2.9.11-1.fc25
mariadb-devel(x86-32) -
zlib-devel(x86-32) -

Provides

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

Download

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

Install Howto

Install the cryptominisat-devel rpm package:

# dnf install cryptominisat-devel

Files

Path
/usr/include/cmsat/Alg.h
/usr/include/cmsat/BitArray.h
/usr/include/cmsat/BothCache.h
/usr/include/cmsat/BoundedQueue.h
/usr/include/cmsat/CSet.h
/usr/include/cmsat/Clause.h
/usr/include/cmsat/ClauseAllocator.h
/usr/include/cmsat/ClauseCleaner.h
/usr/include/cmsat/ClauseOffset.h
/usr/include/cmsat/ClauseVivifier.h
/usr/include/cmsat/CompleteDetachReattacher.h
/usr/include/cmsat/DataSync.h
/usr/include/cmsat/DimacsParser.h
/usr/include/cmsat/DoublePackedRow.h
/usr/include/cmsat/FailedLitSearcher.h
/usr/include/cmsat/Gaussian.h
/usr/include/cmsat/GaussianConfig.h
/usr/include/cmsat/Heap.h
/usr/include/cmsat/MatrixFinder.h
/usr/include/cmsat/MersenneTwister.h
/usr/include/cmsat/OnlyNonLearntBins.h
/usr/include/cmsat/PackedMatrix.h
/usr/include/cmsat/PackedRow.h
/usr/include/cmsat/PropBy.h
/usr/include/cmsat/RestartTypeChooser.h
/usr/include/cmsat/SCCFinder.h
/usr/include/cmsat/SharedData.h
/usr/include/cmsat/Solver.h
/usr/include/cmsat/SolverConf.h
/usr/include/cmsat/SolverTypes.h
/usr/include/cmsat/StateSaver.h
/usr/include/cmsat/StreamBuffer.h
/usr/include/cmsat/Subsumer.h
/usr/include/cmsat/UselessBinRemover.h
/usr/include/cmsat/VarReplacer.h
/usr/include/cmsat/Vec.h
/usr/include/cmsat/Watched.h
/usr/include/cmsat/XSet.h
/usr/include/cmsat/XorFinder.h
/usr/include/cmsat/XorSubsumer.h
/usr/include/cmsat/constants.h
/usr/include/cmsat/time_mem.h
/usr/lib/libcryptominisat.so

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-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
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
Advertisement
Advertisement