summaryrefslogtreecommitdiff
path: root/src/problems.c
AgeCommit message (Expand)AuthorFilesLines
2011-06-06[backend] more introspection: solver_ruleliterals, solver_rule2jobidx, solver...Michael Schroeder1-2/+2
2011-06-03- remove obsolete interface, add decisioncnt_{weak,orphan}Michael Schroeder1-7/+0
2011-05-25- add solver_private.h, make repo_ functions return an int, make solver_solv ...Michael Schroeder1-0/+1
2011-05-25un-inline some functions, remove SAT_DEBUG_SCHUBIMichael Schroeder1-2/+0
2010-06-01- work around debian obsoletes handling for nowMichael Schroeder1-3/+23
2010-05-04- support SOLVER_SOLVABLE_ALL for dup/update/verifyMichael Schroeder1-1/+1
2009-11-04- use SOLVER_SOLUTION_DISTUPGRADE instead of replacingMichael Schroeder1-1/+1
2009-07-17- add metadata_expire checkMichael Schroeder1-0/+2
2009-07-17- tweak problem rule selection heuristicMichael Schroeder1-7/+29
2009-06-24- fix bug in take_solutionMichael Schroeder1-1/+1
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/+35
2009-06-04- fix bugs in problem handlingMichael Schroeder1-3/+3
2009-05-26- split problem handling from solver.cMichael Schroeder1-0/+828