TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Implement Solution Deduplicator #26

Closed joseph39 closed 11 years ago

joseph39 commented 11 years ago

Design a thread-safe solution deduplicator that will generate magnifying glass jobs for unique Pareto points.