From 39f57fb7ca6ce4f6bbc1a030f89853c91fff82c4 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Apr 2022 20:02:07 +0100 Subject: [PATCH] update release notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 8e61f55bdfd..449d6fc6975 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -10,6 +10,20 @@ Version 4.8.next - native word level bit-vector solving. - introduction of simple induction lemmas to handle a limited repertoire of induction proofs. +Version 4.8.16 +============== + - initial support for Darwin Arm64 (for M1, M2, .. users) thanks to zwimer and Anja Petkovi'c + Komel for updates. + Java is not yet supported, pypi native arm64 distributions are not yet supported. + cmake dependency added to enable users to build for not-yet-supported platforms directly; + specifically M1 seems to come up. + - added functionality to user propagator decisions. Thanks to Clemens Eisenhofer. + - added options for rc2 and maxres-bin to maxsat (note that there was no real difference measured + from maxres on MaxSAT unweighted so default option is unchanged) + - improved search for mutex constraints (at-most-1 constraints) among soft + constraints for maxsat derived from approach used in rc2 sample. + - multiple merges + Version 4.8.15 ============== - elaborate user propagator API. Change id based scheme to expressions