This is a relatively small thing, but I noticed when you have large backtracking trees the causes list often contains many duplicates and can sometimes be significantly reduced in size (>50%) by deduplicating it.
This saves a bit of memory and some time for any part of the resolution process that is iterating through causes.
This is a relatively small thing, but I noticed when you have large backtracking trees the causes list often contains many duplicates and can sometimes be significantly reduced in size (>50%) by deduplicating it.
This saves a bit of memory and some time for any part of the resolution process that is iterating through causes.