summaryrefslogtreecommitdiff
path: root/INSTALL
AgeCommit message (Expand)AuthorFilesLines
2007-11-13Duncan forgot the docuStephan Kulow1-4/+3
2007-10-02current state of 'sat-solver'Klaus Kaempf1-0/+26