Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-05-24 | rename satsolver -> libsolv | Michael Schroeder | 1 | -3/+3 |
2007-12-04 | - switch to new solv format using schemata | Michael Schroeder | 1 | -5/+6 |
2007-11-21 | use SATSOLVER_ prefix in include guards | Michael Andres | 1 | -3/+3 |
2007-11-16 | Reduce C&P code by factoring out the uniquifying string pool. | Michael Matz | 1 | -3/+1 |
2007-11-08 | - add a license | Michael Schroeder | 1 | -0/+7 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+17 |