search

TeamAmalgam / kodkod

Kodkod relational model finder
Other
3 stars 0 forks source link

Integrate checkpointed solver to PGIA #55

Closed joseph39 closed 10 years ago

joseph39 commented 10 years ago

Integrate checkpointed solver to PGIA