summaryrefslogtreecommitdiff
path: root/src/poolarch.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-02current state of 'sat-solver'Klaus Kaempf1-0/+8