[release] 0.45.4

[coffeeinprogress]

Reviewer instructions

• Check the changelog to ensure the version increment is consistent with https://semver.org/.
  • If a different version should be released, follow the instructions.
• Review the changeset as a sanity check.
• Approve the PR, if it pases muster.
• Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
• After the release has been published to github, delete this branch.

---

Release notes

0.45.4 - 2024-09-02

Features

• Handle expressions such as S \in SUBSET T in ExprOptimizer by rewriting the expression into \A r \in S: r \in T

Bug fixes

• Better error reporting for hitting the limits of SUBSET expansion, see improve the error message about expanding powersets #2969
• Fix truncation of SMT logs, see Flush SMT logs and SMT profiling logs before (check-sat) #2962

[konnov]

Let's cut a release!