summaryrefslogtreecommitdiff
path: root/README
AgeCommit message (Expand)AuthorFilesLines
2008-07-29- fix typoMichael Schroeder1-1/+1
2007-11-28fix typoKlaus Kaempf1-1/+1
2007-10-26- fix packagingDuncan Mac-Vicar P1-0/+16
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+26