gsdlab/claferIG — pull request #10 by Luke-Michael-Brown (2013-07-03 14:11:37+00:00)
Title: Cleaned up implementation

Also fixed bug where unexpected result appeared when having a model with
unSAT errors that contained comments.