Add Choco constraint solver