Fixed error response and configured ClaferZ3
Fixed formats.json: added python
Fixed next instance command for z3
Pulled the platform and moved z3 backend settings
New ChocoIG settings
Merge pull request #1 from gsdlab/develop

Develop