Solution Deduplicator and Overlapped GIA

This pull request now includes the checking of exclusion constraints between different threads.

Reviewers: @mhyee @cpkleynhans @AtulanZaman