TeamAmalgam/kodkod — pull request #36 by joseph2625 (2013-07-18 22:55:26+00:00)
Title: Solution Deduplicator and Overlapped GIA

This pull request does not include the checking of exclusion constraints between different threads.