Choco Instance Generator to be used by ClaferIDE