how to have yum prefer one dependency over others

[Richard Hughes]

On 16 September 2011 20:02, Richard W.M. Jones <rjones at redhat.com> 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.

Richard.