On Tue, Sep 18, 2012 at 12:00:36 +0200, Compte Yahoo <rforlot@xxxxxxxxx> wrote:
Why not. As I understand DNF is a fork of yum that uses new backend. I have a question, what is a SAT solver ? a satellite solver ?
http://en.wikipedia.org/wiki/Boolean_satisfiability_problem -- docs mailing list docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/docs
