how to have yum prefer one dependency over others

Richard Hughes hughsient at
Fri Sep 16 19:32:37 UTC 2011

On 16 September 2011 20:02, Richard W.M. Jones <rjones at> wrote:
> Is Zif a SAT solver?

No, but I've been playing a few times with libsatsolver in the past year or so.

> We could really use a SAT solver to replace the current yum depsolver.

SAT is pretty awesome, and there are some pretty clever guys who have
got it to work really well with zypp. I can't say I understand all the
subtle nuances, but it's clearly better than an iterative depsolver
with random rules to steer things in the right direction. Plus, once
you've populated the .sat files, it's really fast.


More information about the devel mailing list