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
Pulled the latest platform
Renamed server js and pulled platform
Updated backends.json
Pulled the latest platform
Updated backend labels and tooltips
Changed backends.json
Removed SOO mode
Update README.md
Update README.md
Updated version
Updated help pages
Pulled the latest platform
Pulled the latest platform
Pulled the platform and configured backends
Pulled the latest platform