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

[Radek Holy]

----- Original Message -----
> From: "Anne Mulhern" <amulhern at redhat.com>
> To: rpm-ecosystem at lists.rpm.org
> Sent: Tuesday, May 19, 2015 8:35:08 PM
> Subject: [Rpm-ecosystem] hawkey be more informative on failure to solve a	goal?
> 
> 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
> _______________________________________________
> Rpm-ecosystem mailing list
> Rpm-ecosystem at lists.rpm.org
> http://lists.rpm.org/mailman/listinfo/rpm-ecosystem
> 


Hello, please take a look at the "problems" property [1]. Here, you can see some basic usage: [2] and [3]. Please let us know if something is unclear.

[1] https://github.com/rpm-software-management/hawkey/blob/21448d1753798aa31f4a714f8442a2cbccfcdf58/src/python/__init__.py#L180
[2] https://github.com/rpm-software-management/hawkey/blob/77faae1a60c6ea858dcc328c00baca5d6060a9cb/tests/python/tests/test_goal.py#L188
[3] https://github.com/rpm-software-management/hawkey/blob/77faae1a60c6ea858dcc328c00baca5d6060a9cb/tests/python/tests/test_goal.py#L201

Best regards
-- 
Radek Holý
Associate Software Engineer
Software Management Team
Red Hat Czech