gsdlab/ClaferChocoSoo — pull request #2 by JLiangWaterloo (2013-11-07 04:35:46+00:00)
Title: Update to the latest chocosolver.

Here's my attempt at porting to the latest chocosolver. More code in Util can probably be removed too.