Content of RPM cryptominisat-devel-2.9.11-1.fc24.i686.rpm :
/usr/include/cmsat
/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