Added the choco cp solver