[Rpm-ecosystem] hawkey be more informative on failure to solve a goal?

[Anne Mulhern]

Hi!

Will hawkey ever be able to give back anything more than a simple False if a goal run fails?
It could indicate the missing dependencies that cause the failure.

I believe that the SAT solver phrase associated with this idea is "clause learning", since the idea
is to learn the clause in the Boolean expression most responsible for preventing the solution.

- mulhern