summaryrefslogtreecommitdiff
path: root/src/problems.c
AgeCommit message (Expand)AuthorFilesLines
2013-05-07add SOLVER_RULE_JOB_UNSUPPORTED and SOLVER_RULE_JOB_UNKNOWN_PACKAGEMichael Schroeder1-0/+4
2013-04-24move stringification functions from solverdebug to more correct placesMichael Schroeder1-1/+106
2013-03-22rename "NOOBSOLETES" to "MULTIVERSION"Michael Schroeder1-2/+2
2013-01-11support "pooljobs", fixed jobs set in the poolMichael Schroeder1-3/+20
2012-12-17find_problemrule: don't look at the learnt rule multiple times, it may take r...Michael Schroeder1-6/+20
2012-11-27make FOR_RULELITERALS safe against whatprovides reallocMichael Schroeder1-6/+6
2012-11-20make FORCEBEST work with targeted up/dupMichael Schroeder1-4/+11
2012-11-19implement SOLVER_FORCRBEST for install/up/dupMichael Schroeder1-5/+49
2012-03-09- fix a case of solutionelement duplicationMichael Schroeder1-1/+1
2012-03-05- clean up update/feature rule handling in allowuninstall case. Automatically...Michael Schroeder1-4/+19
2012-02-14- add pool_addvendorclass and solver_solutionelement_internalidMichael Schroeder1-0/+9
2012-02-01- add cleandeps support for install/updateMichael Schroeder1-0/+14
2012-01-03- clean up findrecommendedsuggestedMichael Schroeder1-9/+10
2011-07-26- fix segfault in "fallback" solution creation code, do two passes to find be...Michael Schroeder1-23/+32
2011-07-12- rename all sat_ to solv_Michael Schroeder1-14/+14
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