search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Combining OGIA and PGIA #51

Open mhyee opened 10 years ago

mhyee commented 10 years ago

(with both built on top of CGIA.)

The idea is that we use PGIA to split the search space, and then within each section, have multiple threads run OGIA.