« Changelog History


Choco v4.10.8 Release Notes

Release Date: 2022-01-07 // over 2 years ago

  • 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 ### 🚀 Deprecated API (to be removed in next release):

    Other closed issues and pull requests:

    👀 See milestone 4.10.8

    🚀 Contributors to this release: