Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-07-29 | - fix typo | Michael Schroeder | 1 | -1/+1 |
2007-11-28 | fix typo | Klaus Kaempf | 1 | -1/+1 |
2007-10-26 | - fix packaging | Duncan Mac-Vicar P | 1 | -0/+16 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+26 |