Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-05-24 | rename satsolver -> libsolv | Michael Schroeder | 1 | -2/+2 |
2009-06-22 | A _count is an unsigned int, not an Id | Klaus Kämpf | 1 | -3/+3 |
2009-06-17 | - add solver_take_solution() function | Michael Schroeder | 1 | -0/+3 |
2009-05-26 | - split problem handling from solver.c | Michael Schroeder | 1 | -0/+45 |