1
0
Fork 0
Commit Graph

2 Commits (5eeba719d3f1388f68773c28e3971a7f441ee919)

Author SHA1 Message Date
Viktor Szépe 8728a75930
Fix typos (#12133) 2024-10-02 12:28:32 +02:00
Nils Adermann 7b4cb9c370 Solver: Prevent infinite recursion in analyzeUnsolvableRule
In complex scenarios reasons for learned rules can themselves be learned
rules caused by other learned rules which had the some of the same
reasons. In this situation iterating over all problem rules requires
keeping track of which rules have previously been analyzed to avoid and
endless loop.

Side effect is that the sorting of problems including learned rules
changes slightly.
2020-10-21 17:11:13 +02:00