4.10.8

[cprudhom]

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 (Propagation profiler #832).
• Release 4.10.7 introduces a bug related to delta monitors, which is now fixed ([BUG] removing calls to monitors.unfreeze() in fine grained propagators may lead to error #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)

---

This discussion was created from the release 4.10.8.