summaryrefslogtreecommitdiff
path: root/src/problems.h
AgeCommit message (Collapse)AuthorFilesLines
2011-05-24rename satsolver -> libsolvMichael Schroeder1-2/+2
2009-06-22A _count is an unsigned int, not an IdKlaus Kämpf1-3/+3
2009-06-17- add solver_take_solution() functionMichael Schroeder1-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.cMichael Schroeder1-0/+45