[Choco-users] A new unstable (faster) version !

[Guillaume R. <Gui...@em...>]

Dear Choco users,

We added a new unstable version (1.0b001) of Choco with some new features:

* We improved efficiency (mainly by optimizing logging)
* We added Conflict-based Back Jumping (CBJ) which allows to get explanations 
without using dynamic features needed by Dynamic Backtracking.
* Some bug fixes

Some more tests and some global constraints will be added to Choco before 
publishing the release 1.0.

Regards,

Hadrien and Guillaume