search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Using CGIA as a base solver #49

Open mhyee opened 10 years ago

mhyee commented 10 years ago

Currently OGIA and PGIA are built on top of IGIA, which provides better performance than building on top of GIA.

We should build on top of CGIA. But first, we'll need to reduce memory usage (#48).