1 Commits (78c0282b34c60bc650ac722113025ead58ccf1a3)

Author	SHA1	Message	Date
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