On 09/17/2011 01:02 AM, Richard Hughes wrote: > 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. Since Panu Matilainen has said that he is willing to merge in a depsolver in RPM directly, that seems to be the optimal choice at this point. IMO, you should work with Michael Schröder and Panu Matilainen to do that. If we (Red Hat, SUSE etc) have a fighting chance to standardize on a single depsolver that is a really big win. Rahul -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
