make FOR_RULELITERALS safe against whatprovides realloc
[platform/upstream/libsolv.git] / src / solver.h
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'