On Tue, Jan 15, 2008 at 02:00:48PM +0100, Matt Barringer wrote:
Hello,
Is the satsolver dependency decision queue populated by solver_solve() ordered in any way?
Well, it's ordered in "decision" order. The sat solver pushes new decisions to the end of the queue. I.e., first come all of the decisions that were done because of uninstallable packages (no providers of a required package and the like), then the decisions based on rules with just one literal (e.g. if the assignment is to install one specific package), then "free" decisions and decisions made because of unit propagation. Cheers, Michael. -- Michael Schroeder mls@suse.de SUSE LINUX Products GmbH, GF Markus Rex, HRB 16746 AG Nuernberg main(_){while(_=~getchar())putchar(~_-1/(~(_|32)/13*2-11)*13);} -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org