« Changelog History


Choco v4.0.2 Release Notes

Release Date: 2017-01-20 // over 7 years ago

  • Major features:

    • restrict calls to Solver.setEngine(...) when propagation started. See javadoc for details.
    • remove global constructive disjunction, only local constructive disjunction is allowed.
    • add Solution.restore() to restore a solution (#354).
    • deep reset of Solver (#490, #491)

    🗄 Deprecated API:

    • Solver.getState() (#485)
    • Measures.IN_SEC (related to #486)
    • Settings.outputWithANSIColors, IOutputFactory.ANSI_*
    • IMoveFactory.setLubyRestart(int, int, ICounter, int)

    Closed issues and pull requests:

    #468, #479, #480, #481, #484, #487, #488, #489, #492, #493, #494, #495, #496, #497, #499.