remove 'kind' handling ( will re-appear in applayer ;-) )
[platform/upstream/libsolv.git] / src / solver.h
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'