Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-07-12 | - rename all sat_ to solv_ | Michael Schroeder | 1 | -4/+4 |
2009-06-17 | - beautify | Michael Schroeder | 1 | -3/+8 |
2009-06-15 | - code cleanup | Michael Schroeder | 1 | -3/+17 |
2009-06-04 | - move some flags describing the rpm from solver to pool | Michael Schroeder | 1 | -1/+1 |
2009-05-26 | - split problem handling from solver.c | Michael Schroeder | 1 | -1/+1 |
2008-01-09 | - rename xmalloc/... functions to sat_malloc, as we're a | Michael Schroeder | 1 | -3/+3 |
2007-11-08 | - add a license | Michael Schroeder | 1 | -0/+7 |
2007-10-29 | - rename queue* to queue_*, inline a bit more | Michael Schroeder | 1 | -3/+3 |
2007-10-15 | make prune_to_recommended look at recommends, too. | Michael Schroeder | 1 | -4/+4 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+36 |