[zypp-devel] satsolver dependency ordering
Hello, Is the satsolver dependency decision queue populated by solver_solve() ordered in any way? Thanks, Matt -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
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
On Tue, 15 Jan 2008, Michael Schroeder wrote:
Well, it's ordered in "decision" order. The sat solver pushes
Is it possible to sort the queue based on prerequires? Thanks, Matt -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
If you need the installation order you can use libzypp which already uses the SAT-solver too. Greetings Stefan Matt Barringer schrieb:
On Tue, 15 Jan 2008, Michael Schroeder wrote:
Well, it's ordered in "decision" order. The sat solver pushes
Is it possible to sort the queue based on prerequires?
Thanks, Matt
-- ******************************************************************************* Stefan Schubert SUSE LINUX GmbH - Maxfeldstrasse 5 - D-90409 Nuernberg, Germany e-mail: schubi@suse.de ------------------------------------------------------------------------------- SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg) -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
On Tue, 15 Jan 2008, Stefan Schubert wrote:
If you need the installation order you can use libzypp which already uses the SAT-solver too.
So there is no way to get a proper installation order from the satsolver directly? Thanks, Matt -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
On Tue, Jan 15, 2008 at 02:27:50PM +0100, Matt Barringer wrote:
On Tue, 15 Jan 2008, Michael Schroeder wrote:
Well, it's ordered in "decision" order. The sat solver pushes
Is it possible to sort the queue based on prerequires?
No, a function that brings the decision into "installation order" is not implemented in the sat-solver library yet. But it will get added in the next weeks. (It's not just prereqs, but normal reqs as well. Plus, you have to deal with dependency cycles.) 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
On Tue, 15 Jan 2008, Michael Schroeder wrote:
No, a function that brings the decision into "installation order" is not implemented in the sat-solver library yet. But it will get added in the next weeks.
Ah, OK. Thanks! Matt -- To unsubscribe, e-mail: zypp-devel+unsubscribe@opensuse.org For additional commands, e-mail: zypp-devel+help@opensuse.org
participants (3)
-
Matt Barringer
-
Michael Schroeder
-
Stefan Schubert