Changed build. Using newest SNAPSHOT of Choco since it fixes an important bug I reported.
Changed build. Using newest SNAPSHOT of Choco since it fixes an important bug I reported.

gsdlab/chocosolver,gsdlab/chocosolver