Choco-3.2.2

3.2.2 - 17 Nov 2014

• Fix #240: add notmember(IntVar, SetVar) constraint (more efficient than not(member))
• Fix #225: fix PropCostRegular, wrt to S.Demassey instructions.
• Fix #229: create MasterSolver and SlaveSolver classes to deal with multi-thread resolution
  + add external configuration of the search strategy through a binder
• Fix #227: deal with initial propagation
• fix #230: update release script
• fix #231: correct addTrue in SatFactory
• fix #234: improve reification (presolve and less overheads). As a side effect, reification constraints are automatically posted and cannot be reified directly.
• fix #233: remove java8 compliant code (temporary)
• Add a MDD-based propagator (ICF.mddc).
• fix #235: refactor logging fmwk. Add Chatterbox class as a unique entry point for messaging. Logging still relies on SLF4J.
• fix #236: bug in SatSolver