Updated Choco Solver library, changed to the JAR without dependencies