Trying to add solver choco