cryptominisat-devel-2.9.11-1.fc25.x86_64.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 x86_64
Package type rpm
Installed size 250.28 KB
Download size 64.31 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.i686.rpm 2.9.11 i686 Fedora
cryptominisat-devel - - -

Requires

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

Provides

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

Download

Type URL
Binary Package cryptominisat-devel-2.9.11-1.fc25.x86_64.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/lib64/libcryptominisat.so

Changelog

See cryptominisat-2.9.11-1.fc25.x86_64.rpm changelog.

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