[zypp-commit] r7877 - in /trunk/sat-solver/src: bitmap.h evr.h hash.h pool.h poolarch.h poolid.h poolid_private.h pooltypes.h poolvendor.h queue.h repo.h repo_solv.h solvable.h solver.h strpool.h util.h