summaryrefslogtreecommitdiff
path: root/src/poolid.h
AgeCommit message (Expand)AuthorFilesLines
2007-11-21use SATSOLVER_ prefix in include guardsMichael Andres1-3/+3
2007-11-08- add a licenseMichael Schroeder1-0/+7
2007-10-05- support for legacy rewritingMichael Schroeder1-0/+1
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+31