Mailinglist Archive: zypp-devel (149 mails)
| < Previous | Next > |
Re: [zypp-devel] New feature (usability): Report progress in resolving dependency
- From: Klaus Kaempf <kkaempf@xxxxxxx>
- Date: Tue, 23 Sep 2008 13:06:00 +0200
- Message-id: <20080923110600.GA9109@xxxxxxxxxxxxx>
Arthur,
thanks for your suggestion.
* Arthur Rodrigo Sawazachi Valadares <arthursv@xxxxxxxxxxxxxxxxxx> [Sep 22.
2008 21:55]:
This indeed makes a lot of sense for traditional dependency resolvers.
However, since openSUSE 11.0 we have switched to a new type of resolver,
based on boolean satisfiability.
See e.g. http://www.satisfiability.org for more about this.
As a result, package dependency solving is now blazingly fast and
deadlock-free.
Klaus
---
SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg)
--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx
thanks for your suggestion.
* Arthur Rodrigo Sawazachi Valadares <arthursv@xxxxxxxxxxxxxxxxxx> [Sep 22.
2008 21:55]:
I think it would be interesting for ZYpp to report it's progress while
resolving packages.
This indeed makes a lot of sense for traditional dependency resolvers.
However, since openSUSE 11.0 we have switched to a new type of resolver,
based on boolean satisfiability.
See e.g. http://www.satisfiability.org for more about this.
As a result, package dependency solving is now blazingly fast and
deadlock-free.
Klaus
---
SUSE LINUX Products GmbH, GF: Markus Rex, HRB 16746 (AG Nürnberg)
--
To unsubscribe, e-mail: zypp-devel+unsubscribe@xxxxxxxxxxxx
For additional commands, e-mail: zypp-devel+help@xxxxxxxxxxxx
| < Previous | Next > |