Choco Solver ChangeLog This file is dedicated to sum up the new features added and bugs fixed in Choco-solver since the version, 4.0.0. NEXT MILESTONE 4.0.0.a - 13 Jun 2016 4.0.0.a - 13 Jun 2016 4.0.0.a - 13 Jun 2016