4.10.8

4.10.8 - 07 Jan 2022

Major features:

• Propagation is now observable, solver.observePropagation(PropagationObserver).
  Consequently, it is now possible to profil the propagation by calling solver.profilePropagation().
  See Javadoc for details and usages (#832).
• Release 4.10.7 introduces a bug related to delta monitors, which is now fixed (#837).
• Add new black-box strategy: failure based variable ordering heuristics (@lihb905)
• Add model.streamVars() and model.streamCstrs()
• Bounded domains checking for table constraints
• Change complementary search in FlatZincParser
• Bump XCSP3

Other closed issues and pull requests:

See milestone 4.10.8

Contributors to this release:

• Jean-Guillaume Fages (@jgFages)
• Fabien Hermenier (@fhermeni)
• Hongbo Li (@lihb905)
• Charles Prud'homme (@cprudhom)

Full Changelog: 4.10.7...v4.10.8