summaryrefslogtreecommitdiff
path: root/src/problems.h
AgeCommit message (Expand)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
2009-05-26- split problem handling from solver.cMichael Schroeder1-0/+45