diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 783e92e4b14..afbd03b0042 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -23,6 +23,7 @@ Version 4.11.0 - it allows to apply incremental pre-processing of bit-vectors by identifying ranges that are known to be constant. This rewrite is beneficial, for instance, when bit-vectors are constrained to have many high-level bits set to 0. - add feature to model-based projection for arithmetic to handle integer division. +- add from_string method to JavaScript solver object. Version 4.10.2 ==============