TeamAmalgam/kodkod — pull request #55 by joseph2625 (2014-03-02 22:15:04+00:00)
Title: Integrate checkpointed solver to PGIA

Integrate checkpointed solver to PGIA