start using Choco for constraint optimization