Content of RPM libsatsolver-devel-0.16.2-4.1.x86_64.rpm :
/usr/bin/helix2solv
/usr/include/satsolver
/usr/include/satsolver/applayer.h
/usr/include/satsolver/bitmap.h
/usr/include/satsolver/chksum.h
/usr/include/satsolver/covenant.h
/usr/include/satsolver/decision.h
/usr/include/satsolver/dependency.h
/usr/include/satsolver/dirpool.h
/usr/include/satsolver/evr.h
/usr/include/satsolver/hash.h
/usr/include/satsolver/job.h
/usr/include/satsolver/kinds.h
/usr/include/satsolver/knownid.h
/usr/include/satsolver/md5.h
/usr/include/satsolver/policy.h
/usr/include/satsolver/pool.h
/usr/include/satsolver/poolarch.h
/usr/include/satsolver/poolid.h
/usr/include/satsolver/pooltypes.h
/usr/include/satsolver/poolvendor.h
/usr/include/satsolver/problem.h
/usr/include/satsolver/problems.h
/usr/include/satsolver/queue.h
/usr/include/satsolver/relation.h
/usr/include/satsolver/repo.h
/usr/include/satsolver/repo_solv.h
/usr/include/satsolver/repodata.h
/usr/include/satsolver/repopage.h
/usr/include/satsolver/request.h
/usr/include/satsolver/ruleinfo.h
/usr/include/satsolver/rules.h
/usr/include/satsolver/satversion.h
/usr/include/satsolver/sha1.h
/usr/include/satsolver/sha2.h
/usr/include/satsolver/solution.h
/usr/include/satsolver/solvable.h
/usr/include/satsolver/solver.h
/usr/include/satsolver/solverdebug.h
/usr/include/satsolver/step.h
/usr/include/satsolver/strpool.h
/usr/include/satsolver/transaction.h
/usr/include/satsolver/util.h
/usr/include/satsolver/xrepokey.h
/usr/include/satsolver/xsolvable.h
/usr/lib64/libappsatsolver.a
/usr/lib64/libsatsolver.a
/usr/lib64/libsatsolverext.a