summaryrefslogtreecommitdiff
path: root/src/problems.c
AgeCommit message (Expand)AuthorFilesLines
2019-09-10Imported Upstream version 0.7.3upstream/0.7.3DongHun Kwak1-9/+9
2019-09-10Imported Upstream version 0.7.2upstream/0.7.2DongHun Kwak1-1/+16
2019-09-10Imported Upstream version 0.7.0upstream/0.7.0DongHun Kwak1-16/+1
2019-09-10Imported Upstream version 0.6.36upstream/0.6.36DongHun Kwak1-1/+16
2018-12-04Imported Upstream version 0.6.35upstream/0.6.35DongHun Kwak1-1/+1
2018-11-30Imported Upstream version 0.6.33upstream/0.6.33DongHun Kwak1-1/+1
2018-11-30Imported Upstream version 0.6.31upstream/0.6.31DongHun Kwak1-33/+202
2018-11-30Imported Upstream version 0.6.30upstream/0.6.30DongHun Kwak1-7/+0
2018-11-30Imported Upstream version 0.6.25upstream/0.6.25DongHun Kwak1-0/+7
2018-11-30Imported Upstream version 0.6.24upstream/0.6.24DongHun Kwak1-17/+13
2016-10-27Imported Upstream version 0.6.11upstream/0.6.11DongHun Kwak1-3/+3
2016-10-27Imported Upstream version 0.6.7upstream/0.6.7DongHun Kwak1-1/+9
2016-10-27Imported Upstream version 0.6.6upstream/0.6.6DongHun Kwak1-11/+11
2016-10-27Imported Upstream version 0.6.5upstream/0.6.5DongHun Kwak1-1/+9
2014-04-17implement SOLVER_FLAG_BREAK_ORPHANSMichael Schroeder1-0/+4
2014-04-04do not count problem resolution install jobs as userinstalledMichael Schroeder1-1/+1
2013-11-18tweak findproblemrule heuristic for conflictsMichael Schroeder1-0/+33
2013-10-16remove trailing whitespaceMichael Schroeder1-14/+14
2013-09-23add problem2str() convenience function to APIMichael Schroeder1-0/+12
2013-08-21fix decisioncnt handlingMichael Schroeder1-1/+18
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