On 16 September 2011 20:02, Richard W.M. Jones <rjones@xxxxxxxxxx> 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. -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
