summaryrefslogtreecommitdiff
path: root/src/problems.h
AgeCommit message (Expand)AuthorFilesLines
2013-09-23add problem2str() convenience function to APIMichael Schroeder1-0/+1
2013-04-24move stringification functions from solverdebug to more correct placesMichael Schroeder1-0/+5
2013-01-11support "pooljobs", fixed jobs set in the poolMichael Schroeder1-0/+1
2012-11-19implement SOLVER_FORCRBEST for install/up/dupMichael Schroeder1-0/+1
2012-03-05- clean up update/feature rule handling in allowuninstall case. Automatically...Michael Schroeder1-1/+2
2012-02-14- add pool_addvendorclass and solver_solutionelement_internalidMichael Schroeder1-0/+1
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