update Changelog for upcoming release 3.11.0.
@@ -3,13 +3,21 @@ This file is part of JavaSMT,
an API wrapper for a collection of SMT solvers:
https://github.com/sosy-lab/java-smt
-SPDX-FileCopyrightText: 2020 Dirk Beyer <https://www.sosy-lab.org>
+SPDX-FileCopyrightText: 2021 Dirk Beyer <https://www.sosy-lab.org>
SPDX-License-Identifier: Apache-2.0
-->
# JavaSMT ChangeLog
+## JavaSMT 3.11.0
+
+This release comes with support for multiple prover stacks in SMTInterpol.
+
+### Updated solvers:
+ - SMTInterpol 2.5-916-ga5843d8b
+ - Boolector 3.2.2
+
## JavaSMT 3.10.1
This patch release brings several bugfixes for JavaSMT, for example,
