4.0.5

The current release was submitted to MiniZinc Challenge 2017
and at XCSP3 Competition 2017 and won medals.

choco-parsers provides utility to export a Model to JSON format
and or import JSON data into a Model.

Major features:

• Compact-Table now deals with short tuples (#531)
• Checking if a created constraint is free (neither posted or reified) is now possible with Settings.checkDeclaredConstraints()
• Improvements on BoolVarImpl and BoolNotView.
• Remove code deprecated in last release.
• Fix error in Views.
• Add scalar detection in BiReExpression
• fix errors in Impact-based Search
• update Search.intVarSearch() + Search.defaultSearch(Model)
• update ParallelPortfolio default strategies

Deprecated API (to be removed in next release):

Closed issues and pull requests:

• fix bug in PropNogoods when dealing with negative values (impact solver..setNoGoodRecordingFromRestarts() and solver..setNoGoodRecordingFromSolutions(...))
• fix bug in model.sum(...) and model.scalar(...) when dealing with arity greater than 100 and all operators except =
• fix bug in model.table(...) with binary scope and universal value
• fix bug related to Ibex and GC.

#531 ,#545, #546.