drayside/kodkod — pull request #5 by joseph2625 (2014-03-02 21:43:39+00:00)
Title: Cgia improvement impl

Remove unnecessary checkpointing/rollback pairs