Sun, 17 Oct 2021 03:44:27 UTC

Information for RPM cryptominisat-devel-2.9.3-1.fc16.x86_64.rpm

ID3064766
Namecryptominisat-devel
Version2.9.3
Release1.fc16
Epoch
Archx86_64
SummaryHeader files for developing with cryptominisat
DescriptionHeader files for developing applications that use cryptominisat.
Build Time2012-04-16 16:28:59 GMT
Size61,529
9d42aa3eabee53ae318f84c91f717193
LicenseGPLv3+
Buildrootf16-build-1321200-211753
Provides
cryptominisat-devel = 2.9.3-1.fc16
cryptominisat-devel(x86-64) = 2.9.3-1.fc16
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
cryptominisat-libs(x86-64) = 2.9.3-1.fc16
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 48 of 48
Name ascending sort Size
/usr/include/cryptominisat4,096
/usr/include/cryptominisat/Solver4,096
/usr/include/cryptominisat/Solver/BitArray.h3,913
/usr/include/cryptominisat/Solver/BothCache.h236
/usr/include/cryptominisat/Solver/BoundedQueue.h2,826
/usr/include/cryptominisat/Solver/CSet.h5,818
/usr/include/cryptominisat/Solver/Clause.h7,459
/usr/include/cryptominisat/Solver/ClauseAllocator.h5,297
/usr/include/cryptominisat/Solver/ClauseCleaner.h3,219
/usr/include/cryptominisat/Solver/ClauseOffset.h211
/usr/include/cryptominisat/Solver/ClauseVivifier.h1,831
/usr/include/cryptominisat/Solver/CompleteDetachReattacher.h2,760
/usr/include/cryptominisat/Solver/DataSync.h2,711
/usr/include/cryptominisat/Solver/DimacsParser.h2,802
/usr/include/cryptominisat/Solver/DoublePackedRow.h5,306
/usr/include/cryptominisat/Solver/FailedLitSearcher.h8,659
/usr/include/cryptominisat/Solver/Gaussian.h9,488
/usr/include/cryptominisat/Solver/GaussianConfig.h2,001
/usr/include/cryptominisat/Solver/Main.h1,809
/usr/include/cryptominisat/Solver/MatrixFinder.h1,954
/usr/include/cryptominisat/Solver/OnlyNonLearntBins.h2,058
/usr/include/cryptominisat/Solver/PackedMatrix.h5,000
/usr/include/cryptominisat/Solver/PackedRow.h5,960
/usr/include/cryptominisat/Solver/PropBy.h6,043
/usr/include/cryptominisat/Solver/RestartTypeChooser.h2,649
/usr/include/cryptominisat/Solver/SCCFinder.h2,121
/usr/include/cryptominisat/Solver/SharedData.h1,073
/usr/include/cryptominisat/Solver/Solver.h35,906
/usr/include/cryptominisat/Solver/SolverConf.h7,980
/usr/include/cryptominisat/Solver/SolverTypes.h5,986
/usr/include/cryptominisat/Solver/StateSaver.h1,371
/usr/include/cryptominisat/Solver/StreamBuffer.h2,993
/usr/include/cryptominisat/Solver/Subsumer.h15,898
/usr/include/cryptominisat/Solver/UselessBinRemover.h3,149
/usr/include/cryptominisat/Solver/VarReplacer.h4,782
/usr/include/cryptominisat/Solver/Watched.h7,064
/usr/include/cryptominisat/Solver/XSet.h3,663
/usr/include/cryptominisat/Solver/XorFinder.h5,356
/usr/include/cryptominisat/Solver/XorSubsumer.h5,127
/usr/include/cryptominisat/Solver/constants.h3,897
/usr/include/cryptominisat/Solver/stdint.h7,727
/usr/include/cryptominisat/Solver/time_mem.h2,914
/usr/include/cryptominisat/mtl4,096
/usr/include/cryptominisat/mtl/Alg.h8,330
/usr/include/cryptominisat/mtl/Heap.h6,521
/usr/include/cryptominisat/mtl/MersenneTwister.h14,143
/usr/include/cryptominisat/mtl/Vec.h6,117
/usr/lib64/libcryptominisat.so25
Component of No Buildroots