From: Michael Schroeder <mls@suse.de>
Date: Tue, 19 Aug 2025 15:11:11 +0000 (+0200)
Subject: Add note about asking the solver for a proof
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=32439fa5dbee80a95ad62d103683c4b6f505e0e8;p=thirdparty%2Flibsolv.git

Add note about asking the solver for a proof

No functual changes
---

diff --git a/src/problems.c b/src/problems.c
index b0a421c2..304e581d 100644
--- a/src/problems.c
+++ b/src/problems.c
@@ -1271,10 +1271,13 @@ findproblemrule_internal(Solver *solv, Id idx, Id *reqrp, Id *conrp, Id *sysrp,
 /*
  * find problem rule
  *
- * search for a rule that describes the problem to the
- * user. Actually a pretty hopeless task that may leave the user
+ * search for a rule that describes the problem to the user.
+ * Actually a pretty hopeless task that may leave the user
  * puzzled. To get all of the needed information use
  * solver_findallproblemrules() instead.
+ *
+ * Also note that solver_get_decisionlist() can be used to get
+ * a "proof" for the problem.
  */
 
 Id
@@ -1351,6 +1354,9 @@ findallproblemrules_internal(Solver *solv, Id idx, Queue *rules, Map *rseen)
  * return all rules that lead to the problem. This gives the user
  * all of the information to understand the problem, but the result
  * can be a large number of rules.
+ * 
+ * Also note that solver_get_decisionlist() can be used to get
+ * a "proof" for the problem.
  */
 
 void