Imported Upstream version 0.7.27
[platform/upstream/libsolv.git] / src / solver.h
2008-07-21 Michael Schroeder- no more freshens. R.I.P.
2008-05-23 Michael Schroeder- add "ignorealreadyrecommended" aka "zypper" solver...
2008-05-14 Michael Schroeder- change some comments
2008-05-13 Klaus Kaempfadd comment
2008-05-13 Michael Schroeder- support SOLVER_NOOBSOLETES* jobs, tell the solver...
2008-05-13 Klaus Kaempfadd comments
2008-05-06 Michael Schroeder- shuffle rule blocks so that feature rules come before...
2008-04-30 Michael Schroeder- speed up solver a bit by creating a queue holding...
2008-04-30 Michael Schroeder- add obsoleteusesprovides and implicitobsoleteusesprov...
2008-04-25 Michael Schroeder- add bugzilla reference
2008-04-23 Michael Schroeder- schubi convinced me to invert the flag, so that installed
2008-04-23 Michael Schroeder- add "showinstalledrecommended" option to make the...
2008-04-22 Michael MatzFix compile.
2008-04-18 Michael Schroeder- add support for feature rules
2008-04-18 Michael MatzC++-guard also solver.h
2008-04-15 Michael Schroeder- catch self conflicts (configurable)
2008-04-11 Michael Schroeder- add support for SOLVER_WEAKEN_SOLVABLE_DEPS, weakens...
2008-04-11 Michael Schroeder- clean up code a bit
2008-04-11 Michael Schroeder- beautfy, rename & document
2008-04-11 Michael Schroeder- change DU interface to use installedmap, like the...
2008-04-03 Michael Schroeder- fix memory leak
2008-03-14 Michael Schroeder- move change calculation into pool
2008-03-07 Michael Schroeder- add recommendations queue so that it can be displayed...
2008-02-29 Michael Schroeder- change solv format in an incompatible way, breaking...
2008-02-18 Michael Schroeder- bring duchange code to life
2008-02-15 Klaus Kaempfremove 'kind' handling ( will re-appear in applayer...
2008-02-12 Klaus Kaempfadapt to reality
2008-02-07 Klaus Kaempfprepare limittokind
2008-02-04 Stefan Schubertadded pool to arguments
2008-01-28 Stefan SchubertAdded callbacks for policy handling.
2008-01-18 Klaus Kaempfintroduce 'Covenants' as a generic representation of...
2008-01-11 Michael Schroeder- fix support for splitprovides
2008-01-08 Michael Schroeder- assertify
2008-01-03 Stefan Schubertcomments added
2007-12-30 Klaus Kaempfadd Decision (solver result element) and testcase
2007-11-29 Michael Schroeder- rename findproblemrule to solver_findproblemrule
2007-11-29 Michael Schroeder- make schubi's job much easier by providing nice helpe...
2007-11-28 Michael Schroeder- fix false friend
2007-11-21 Michael Andresuse SATSOLVER_ prefix in include guards
2007-11-19 Michael Schroeder- add solvable2str function to make things easier and...
2007-11-17 Michael Schroeder- add problem traversal abstraction functions for schubi
2007-11-16 Michael Schroeder- begone rc_output. and there was much rejoicing.
2007-11-12 Michael Schroeder- make refine_suggestion static again
2007-11-12 Michael Schroeder- always refine solutions, put result in problem queue
2007-11-10 Michael Schroeder- moved some policy functions to policy.h
2007-11-08 Stefan Schubertrefine_suggestion
2007-11-08 Michael Schroeder- implement branching and solution callback
2007-11-08 Michael Schroeder- add a license
2007-11-07 Michael Schroeder- move policy-ruby.c into ruby dir
2007-10-30 Michael Schroeder- add vendor change policy (but fixes no test case...
2007-10-29 Michael Schroeder- rename 'system' repo to 'installed'
2007-10-26 Duncan Mac-Vicar Pto follow SUSE tools conventions
2007-10-26 Duncan Mac-Vicar Pname the enum so I can use it in a typemap
2007-10-24 Michael Schroeder- do a better job at presenting a solution
2007-10-22 Michael Schroeder- add experimental weak rules support, solver tries...
2007-10-15 Michael Schroederfind suggested packages
2007-10-15 Michael Schroederimplemented GNADENLOS in a better way, now option ...
2007-10-15 Michael Schroederalso prune to suggests/enhances, fixes tpctl testcases
2007-10-15 Michael Schroedermake prune_to_recommended look at recommends, too.
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'