summaryrefslogtreecommitdiff
path: root/src/poolid_private.h
AgeCommit message (Expand)AuthorFilesLines
2011-05-24rename satsolver -> libsolvMichael Schroeder1-3/+3
2007-12-04- switch to new solv format using schemataMichael Schroeder1-5/+6
2007-11-21use SATSOLVER_ prefix in include guardsMichael Andres1-3/+3
2007-11-16Reduce C&P code by factoring out the uniquifying string pool.Michael Matz1-3/+1
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+17