composer

Commit Graph

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.	4 years ago

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.

1 Commits (32852304d0c8823fe535dfc5b19e68952d4a6f41)