From 766f2699d945ef4a6d852c7426b91b31cc4109bb Mon Sep 17 00:00:00 2001 From: cprudhom Date: Mon, 9 Sep 2024 14:02:58 +0200 Subject: [PATCH] Update CHANGES.md --- CHANGES.md | 10 +++++++++- scripts/RELEASE.md | 2 +- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index d9e0dc4f8d..e0e1805db7 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -9,7 +9,10 @@ NEXT MILESTONE ### Major features: -- Add `PickOnDom` and variants (see `Search.pickOnDom`) +- Add `PickOnDom` and variants (see `Search.pickOnDom`) +- Enhance MiniZinc output +- Revamp scripts to solver flatzinc files +- Fix bugs (see closed issues) ### Deprecated API (to be removed in next release): @@ -17,6 +20,11 @@ NEXT MILESTONE See [milestone 4.10.15](https://github.com/chocoteam/choco-solver/milestone/39) #### Contributors to this release: +- [Arthur Godet](https://github.com/ArthurGodet) (@ArthurGodet) +- [Paul King](https://github.com/paulk-asert) (@paulk-asert) +- [Zhang Yang](https://github.com/zy-nesime) (@zy-nesime) +- [Charles Prud'homme](https://github.com/cprudhom) (@cprudhom) + **Full Changelog**: https://github.com/chocoteam/choco-solver/compare/v4.10.14...v4.10.15 diff --git a/scripts/RELEASE.md b/scripts/RELEASE.md index 9b89de59b5..06caacb417 100644 --- a/scripts/RELEASE.md +++ b/scripts/RELEASE.md @@ -24,4 +24,4 @@ 5. Now you can run the command: - ./scritps/release.sh \ No newline at end of file + ./scripts/release.sh \ No newline at end of file