Gecode full changelog

Added functions to Stop class that can create common stop objects. (minor)
Exposed class definitions for common cutoff generators. (minor)

Change the slave function for meta search engines to return whether the search in the slave is going to be complete. This is necessary for example in LNS, where completing the search in the slave does not mean that the overall search is finished. (minor)

FlatZinc bug in 4.3.1: Unfortunately the Gecode FlatZinc interpreter in versions 4.3.0 and 4.3.1 had major bugs. Please upgrade to Gecode 4.3.2 (see below) if you are planning to use FlatZinc!

Search engines:
· Fixed a bug that crashed the single-thread branch-and-bound search engine when initialized with a failed space. (minor)

Finite domain integers:

Additions:
· Added efficient propagators for n-ary Boolean xor and equivalence (as they are now primitive in MiniZinc). (minor)
· Domain consistency for simple counting constraints can be switched off.

Other changes:
· The semantics of n-ary Boolean implication has been changed (to the more convential reading): rel(home, BOT_IMP, x, y) where x is an array of Boolean variable now assumes implication to be right associative. See MPG for explanation. (minor)

Bug fixes:
· Fixed bugs in the computation of the required precision (int or double) for linear propagation, and in division operations of scale views. These could cause an incorrect treatment of overflow in linear constraints. (major)

Performance improvements:
· Domain consistent distinct runs 10-20% faster. (minor)