Finally a proper add for the choco solver library