Implemented multiple optimal instances
Used Java 1.7 since the library requires it.
Port to the latest version of the Chocosolver.
Merge pull request #2 from JLiangWaterloo/master

Update to the latest chocosolver.
Update README.md
Merge pull request #3 from gsdlab/master

Synchronized Master and Develop