« Changelog History


Choco v4.0.5 Release Notes

Release Date: 2017-09-28 // over 6 years ago

  • 🚀 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.