« Changelog History


Choco v4.10.2 Release Notes

Release Date: 2019-10-14 // over 4 years ago

  • Major features:

    • 🛠 fix issues relative to propagation
    • 🔄 change constraints' status checking
    • 🔄 change stop conditions in ExplanationForSignedClause
    • ➕ add stable module name

    Closed issues and pull requests:

    #618