Content of RPM stp-debug-0.1392-1-mdv2011.0.i586.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/83
/usr/lib/debug/.build-id/83/1f93bc9e768b975840c8d40b3605191d0ac339
/usr/lib/debug/.build-id/83/1f93bc9e768b975840c8d40b3605191d0ac339.debug
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/stp.debug
/usr/src/debug/stp
/usr/src/debug/stp/src
/usr/src/debug/stp/src/AST
/usr/src/debug/stp/src/AST/AST.h
/usr/src/debug/stp/src/AST/ASTBVConst.cpp
/usr/src/debug/stp/src/AST/ASTBVConst.h
/usr/src/debug/stp/src/AST/ASTInterior.cpp
/usr/src/debug/stp/src/AST/ASTInterior.h
/usr/src/debug/stp/src/AST/ASTInternal.h
/usr/src/debug/stp/src/AST/ASTInternalWithChildren.h
/usr/src/debug/stp/src/AST/ASTKind.cpp
/usr/src/debug/stp/src/AST/ASTKind.h
/usr/src/debug/stp/src/AST/ASTNode.cpp
/usr/src/debug/stp/src/AST/ASTNode.h
/usr/src/debug/stp/src/AST/ASTSymbol.cpp
/usr/src/debug/stp/src/AST/ASTSymbol.h
/usr/src/debug/stp/src/AST/ASTUtil.cpp
/usr/src/debug/stp/src/AST/ASTmisc.cpp
/usr/src/debug/stp/src/AST/ArrayTransformer.cpp
/usr/src/debug/stp/src/AST/ArrayTransformer.h
/usr/src/debug/stp/src/AST/NodeFactory
/usr/src/debug/stp/src/AST/NodeFactory/HashingNodeFactory.cpp
/usr/src/debug/stp/src/AST/NodeFactory/HashingNodeFactory.h
/usr/src/debug/stp/src/AST/NodeFactory/NodeFactory.cpp
/usr/src/debug/stp/src/AST/NodeFactory/NodeFactory.h
/usr/src/debug/stp/src/AST/NodeFactory/SimplifyingNodeFactory.cpp
/usr/src/debug/stp/src/AST/NodeFactory/SimplifyingNodeFactory.h
/usr/src/debug/stp/src/AST/NodeFactory/TypeChecker.cpp
/usr/src/debug/stp/src/AST/NodeFactory/TypeChecker.h
/usr/src/debug/stp/src/AST/RunTimes.cpp
/usr/src/debug/stp/src/AST/RunTimes.h
/usr/src/debug/stp/src/AST/UsefulDefs.h
/usr/src/debug/stp/src/STPManager
/usr/src/debug/stp/src/STPManager/DifficultyScore.h
/usr/src/debug/stp/src/STPManager/STP.cpp
/usr/src/debug/stp/src/STPManager/STP.h
/usr/src/debug/stp/src/STPManager/STPManager.cpp
/usr/src/debug/stp/src/STPManager/STPManager.h
/usr/src/debug/stp/src/STPManager/UserDefinedFlags.h
/usr/src/debug/stp/src/absrefine_counterexample
/usr/src/debug/stp/src/absrefine_counterexample/AbsRefine_CounterExample.h
/usr/src/debug/stp/src/absrefine_counterexample/AbstractionRefinement.cpp
/usr/src/debug/stp/src/absrefine_counterexample/CounterExample.cpp
/usr/src/debug/stp/src/boost
/usr/src/debug/stp/src/boost/config
/usr/src/debug/stp/src/boost/config/suffix.hpp
/usr/src/debug/stp/src/boost/pool
/usr/src/debug/stp/src/boost/pool/detail
/usr/src/debug/stp/src/boost/pool/detail/ct_gcd_lcm.hpp
/usr/src/debug/stp/src/boost/pool/detail/gcd_lcm.hpp
/usr/src/debug/stp/src/boost/pool/detail/mutex.hpp
/usr/src/debug/stp/src/boost/pool/pool.hpp
/usr/src/debug/stp/src/boost/pool/simple_segregated_storage.hpp
/usr/src/debug/stp/src/boost/type_traits
/usr/src/debug/stp/src/boost/type_traits/detail
/usr/src/debug/stp/src/boost/type_traits/detail/ice_eq.hpp
/usr/src/debug/stp/src/boost/type_traits/detail/yes_no_type.hpp
/usr/src/debug/stp/src/extlib-abc
/usr/src/debug/stp/src/extlib-abc/aig
/usr/src/debug/stp/src/extlib-abc/aig.h
/usr/src/debug/stp/src/extlib-abc/aig/aig
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigCheck.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigDfs.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigFanout.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigMan.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigMem.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigMffc.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigObj.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigOper.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigTable.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigTime.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigTiming.c
/usr/src/debug/stp/src/extlib-abc/aig/aig/aigUtil.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfCore.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfCut.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfData.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfMan.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfMap.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfPost.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfUtil.c
/usr/src/debug/stp/src/extlib-abc/aig/cnf/cnfWrite.c
/usr/src/debug/stp/src/extlib-abc/aig/dar
/usr/src/debug/stp/src/extlib-abc/aig/dar/darCore.c
/usr/src/debug/stp/src/extlib-abc/aig/dar/darCut.c
/usr/src/debug/stp/src/extlib-abc/aig/dar/darData.c
/usr/src/debug/stp/src/extlib-abc/aig/dar/darLib.c
/usr/src/debug/stp/src/extlib-abc/aig/dar/darMan.c
/usr/src/debug/stp/src/extlib-abc/aig/dar/darPrec.c
/usr/src/debug/stp/src/extlib-abc/aig/kit
/usr/src/debug/stp/src/extlib-abc/aig/kit/kitIsop.c
/usr/src/debug/stp/src/extlib-abc/aig/kit/kitTruth.c
/usr/src/debug/stp/src/extlib-abc/cnf.h
/usr/src/debug/stp/src/extlib-abc/cnf_short.h
/usr/src/debug/stp/src/extlib-abc/dar.h
/usr/src/debug/stp/src/extlib-abc/darInt.h
/usr/src/debug/stp/src/extlib-abc/kit.h
/usr/src/debug/stp/src/extlib-abc/vecInt.h
/usr/src/debug/stp/src/extlib-abc/vecPtr.h
/usr/src/debug/stp/src/extlib-abc/vecVec.h
/usr/src/debug/stp/src/extlib-constbv
/usr/src/debug/stp/src/extlib-constbv/constantbv.cpp
/usr/src/debug/stp/src/extlib-constbv/constantbv.h
/usr/src/debug/stp/src/main
/usr/src/debug/stp/src/main/Globals.cpp
/usr/src/debug/stp/src/main/Globals.h
/usr/src/debug/stp/src/main/main.cpp
/usr/src/debug/stp/src/main/versionString.cpp
/usr/src/debug/stp/src/parser
/usr/src/debug/stp/src/parser/LetMgr.cpp
/usr/src/debug/stp/src/parser/LetMgr.h
/usr/src/debug/stp/src/parser/ParserInterface.h
/usr/src/debug/stp/src/parser/cvc.lex
/usr/src/debug/stp/src/parser/cvc.y
/usr/src/debug/stp/src/parser/lexcvc.cpp
/usr/src/debug/stp/src/parser/lexsmt.cpp
/usr/src/debug/stp/src/parser/lexsmt2.cpp
/usr/src/debug/stp/src/parser/parsecvc.cpp
/usr/src/debug/stp/src/parser/parsecvc.hpp
/usr/src/debug/stp/src/parser/parsesmt.cpp
/usr/src/debug/stp/src/parser/parsesmt.hpp
/usr/src/debug/stp/src/parser/parsesmt2.cpp
/usr/src/debug/stp/src/parser/parsesmt2.hpp
/usr/src/debug/stp/src/parser/smt.lex
/usr/src/debug/stp/src/parser/smt.y
/usr/src/debug/stp/src/parser/smt2.lex
/usr/src/debug/stp/src/parser/smt2.y
/usr/src/debug/stp/src/printer
/usr/src/debug/stp/src/printer/AssortedPrinters.cpp
/usr/src/debug/stp/src/printer/AssortedPrinters.h
/usr/src/debug/stp/src/printer/BenchPrinter.cpp
/usr/src/debug/stp/src/printer/CPrinter.cpp
/usr/src/debug/stp/src/printer/GDLPrinter.cpp
/usr/src/debug/stp/src/printer/LispPrinter.cpp
/usr/src/debug/stp/src/printer/PLPrinter.cpp
/usr/src/debug/stp/src/printer/SMTLIB1Printer.cpp
/usr/src/debug/stp/src/printer/SMTLIB2Printer.cpp
/usr/src/debug/stp/src/printer/SMTLIBPrinter.cpp
/usr/src/debug/stp/src/printer/SMTLIBPrinter.h
/usr/src/debug/stp/src/printer/dotPrinter.cpp
/usr/src/debug/stp/src/printer/printers.h
/usr/src/debug/stp/src/sat
/usr/src/debug/stp/src/sat/CryptoMinisat.cpp
/usr/src/debug/stp/src/sat/CryptoMinisat.h
/usr/src/debug/stp/src/sat/MinisatCore.cpp
/usr/src/debug/stp/src/sat/MinisatCore.h
/usr/src/debug/stp/src/sat/SATSolver.h
/usr/src/debug/stp/src/sat/SimplifyingMinisat.cpp
/usr/src/debug/stp/src/sat/SimplifyingMinisat.h
/usr/src/debug/stp/src/sat/core
/usr/src/debug/stp/src/sat/core/Solver.cc
/usr/src/debug/stp/src/sat/core/Solver.h
/usr/src/debug/stp/src/sat/core/SolverTypes.h
/usr/src/debug/stp/src/sat/cryptominisat2
/usr/src/debug/stp/src/sat/cryptominisat2/BitArray.h
/usr/src/debug/stp/src/sat/cryptominisat2/BoundedQueue.h
/usr/src/debug/stp/src/sat/cryptominisat2/CSet.h
/usr/src/debug/stp/src/sat/cryptominisat2/Clause.h
/usr/src/debug/stp/src/sat/cryptominisat2/ClauseAllocator.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/ClauseAllocator.h
/usr/src/debug/stp/src/sat/cryptominisat2/ClauseCleaner.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/ClauseCleaner.h
/usr/src/debug/stp/src/sat/cryptominisat2/FailedVarSearcher.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/FailedVarSearcher.h
/usr/src/debug/stp/src/sat/cryptominisat2/FindUndef.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/FindUndef.h
/usr/src/debug/stp/src/sat/cryptominisat2/Gaussian.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/Gaussian.h
/usr/src/debug/stp/src/sat/cryptominisat2/GaussianConfig.h
/usr/src/debug/stp/src/sat/cryptominisat2/Logger.h
/usr/src/debug/stp/src/sat/cryptominisat2/MatrixFinder.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/MatrixFinder.h
/usr/src/debug/stp/src/sat/cryptominisat2/MersenneTwister.h
/usr/src/debug/stp/src/sat/cryptominisat2/OnlyNonLearntBins.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/OnlyNonLearntBins.h
/usr/src/debug/stp/src/sat/cryptominisat2/PackedMatrix.h
/usr/src/debug/stp/src/sat/cryptominisat2/PackedRow.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/PackedRow.h
/usr/src/debug/stp/src/sat/cryptominisat2/PartFinder.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/PartFinder.h
/usr/src/debug/stp/src/sat/cryptominisat2/PartHandler.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/PartHandler.h
/usr/src/debug/stp/src/sat/cryptominisat2/RestartTypeChooser.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/RestartTypeChooser.h
/usr/src/debug/stp/src/sat/cryptominisat2/Solver.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/Solver.h
/usr/src/debug/stp/src/sat/cryptominisat2/SolverTypes.h
/usr/src/debug/stp/src/sat/cryptominisat2/StateSaver.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/StateSaver.h
/usr/src/debug/stp/src/sat/cryptominisat2/Subsumer.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/Subsumer.h
/usr/src/debug/stp/src/sat/cryptominisat2/UselessBinRemover.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/UselessBinRemover.h
/usr/src/debug/stp/src/sat/cryptominisat2/VarReplacer.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/VarReplacer.h
/usr/src/debug/stp/src/sat/cryptominisat2/XSet.h
/usr/src/debug/stp/src/sat/cryptominisat2/XorFinder.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/XorFinder.h
/usr/src/debug/stp/src/sat/cryptominisat2/XorSubsumer.cpp
/usr/src/debug/stp/src/sat/cryptominisat2/XorSubsumer.h
/usr/src/debug/stp/src/sat/cryptominisat2/mtl
/usr/src/debug/stp/src/sat/cryptominisat2/mtl/Alg.h
/usr/src/debug/stp/src/sat/cryptominisat2/mtl/Heap.h
/usr/src/debug/stp/src/sat/cryptominisat2/mtl/Queue.h
/usr/src/debug/stp/src/sat/cryptominisat2/mtl/Vec.h
/usr/src/debug/stp/src/sat/cryptominisat2/time_mem.h
/usr/src/debug/stp/src/sat/mtl
/usr/src/debug/stp/src/sat/mtl/Alg.h
/usr/src/debug/stp/src/sat/mtl/Alloc.h
/usr/src/debug/stp/src/sat/mtl/Heap.h
/usr/src/debug/stp/src/sat/mtl/Map.h
/usr/src/debug/stp/src/sat/mtl/Queue.h
/usr/src/debug/stp/src/sat/mtl/Sort.h
/usr/src/debug/stp/src/sat/mtl/Vec.h
/usr/src/debug/stp/src/sat/mtl/XAlloc.h
/usr/src/debug/stp/src/sat/simp
/usr/src/debug/stp/src/sat/simp/SimpSolver.cc
/usr/src/debug/stp/src/sat/simp/SimpSolver.h
/usr/src/debug/stp/src/sat/utils
/usr/src/debug/stp/src/sat/utils/Options.h
/usr/src/debug/stp/src/sat/utils/ParseUtils.h
/usr/src/debug/stp/src/sat/utils/System.cc
/usr/src/debug/stp/src/sat/utils/System.h
/usr/src/debug/stp/src/simplifier
/usr/src/debug/stp/src/simplifier/AIGSimplifyPropositionalCore.h
/usr/src/debug/stp/src/simplifier/AlwaysTrue.h
/usr/src/debug/stp/src/simplifier/EstablishIntervals.h
/usr/src/debug/stp/src/simplifier/FindPureLiterals.h
/usr/src/debug/stp/src/simplifier/MutableASTNode.cpp
/usr/src/debug/stp/src/simplifier/MutableASTNode.h
/usr/src/debug/stp/src/simplifier/RemoveUnconstrained.cpp
/usr/src/debug/stp/src/simplifier/RemoveUnconstrained.h
/usr/src/debug/stp/src/simplifier/SubstitutionMap.cpp
/usr/src/debug/stp/src/simplifier/SubstitutionMap.h
/usr/src/debug/stp/src/simplifier/Symbols.h
/usr/src/debug/stp/src/simplifier/UseITEContext.h
/usr/src/debug/stp/src/simplifier/VariablesInExpression.cpp
/usr/src/debug/stp/src/simplifier/VariablesInExpression.h
/usr/src/debug/stp/src/simplifier/bvsolver.cpp
/usr/src/debug/stp/src/simplifier/bvsolver.h
/usr/src/debug/stp/src/simplifier/constantBitP
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Arithmetic.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Boolean.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Comparison.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Shifting.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_TransferFunctions.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Utility.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitP_Utility.h
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitPropagation.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/ConstantBitPropagation.h
/usr/src/debug/stp/src/simplifier/constantBitP/Dependencies.h
/usr/src/debug/stp/src/simplifier/constantBitP/FixedBits.cpp
/usr/src/debug/stp/src/simplifier/constantBitP/FixedBits.h
/usr/src/debug/stp/src/simplifier/constantBitP/MultiplicationStats.h
/usr/src/debug/stp/src/simplifier/constantBitP/NodeToFixedBitsMap.h
/usr/src/debug/stp/src/simplifier/constantBitP/WorkList.h
/usr/src/debug/stp/src/simplifier/consteval.cpp
/usr/src/debug/stp/src/simplifier/simplifier.cpp
/usr/src/debug/stp/src/simplifier/simplifier.h
/usr/src/debug/stp/src/to-sat
/usr/src/debug/stp/src/to-sat/AIG
/usr/src/debug/stp/src/to-sat/AIG/BBNodeAIG.h
/usr/src/debug/stp/src/to-sat/AIG/BBNodeManagerAIG.h
/usr/src/debug/stp/src/to-sat/AIG/ToCNFAIG.cpp
/usr/src/debug/stp/src/to-sat/AIG/ToCNFAIG.h
/usr/src/debug/stp/src/to-sat/AIG/ToSATAIG.cpp
/usr/src/debug/stp/src/to-sat/AIG/ToSATAIG.h
/usr/src/debug/stp/src/to-sat/ASTNode
/usr/src/debug/stp/src/to-sat/ASTNode/BBNodeManagerASTNode.h
/usr/src/debug/stp/src/to-sat/ASTNode/ClauseList.cpp
/usr/src/debug/stp/src/to-sat/ASTNode/ClauseList.h
/usr/src/debug/stp/src/to-sat/ASTNode/SimpBool.cpp
/usr/src/debug/stp/src/to-sat/ASTNode/ToCNF.cpp
/usr/src/debug/stp/src/to-sat/ASTNode/ToCNF.h
/usr/src/debug/stp/src/to-sat/ASTNode/ToSAT.cpp
/usr/src/debug/stp/src/to-sat/ASTNode/ToSAT.h
/usr/src/debug/stp/src/to-sat/BitBlaster.cpp
/usr/src/debug/stp/src/to-sat/BitBlaster.h
/usr/src/debug/stp/src/to-sat/ToSATBase.cpp
/usr/src/debug/stp/src/to-sat/ToSATBase.h