Age | Commit message (Collapse) | 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 | |
- add solver_printsolution() function - rename solver_printsolutions() to solver_printallsolutions() - add transaction_init_clone() and transaction_free_orderdata() | |||||
2009-05-26 | - split problem handling from solver.c | Michael Schroeder | 1 | -0/+45 | |