search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Create a Unified Thread Pool for Finding Pareto Points and Performing MagnifyingGlass #34

Closed joseph39 closed 11 years ago

joseph39 commented 11 years ago

Create a unified thread pool that is used to execute the following two tasks:

  1. Finding new Pareto points
  2. Performing MagnifyingGlass to find all solutions per Pareto point
mhyee commented 11 years ago

This was closed by #36