z3-4.12.1

4.12.1 release

Changes:

• 3012293 update release script
• fcc1bb5 updated release notes
• 7368f9f increase build version, better propagation in euf-egraph, handle assumptions in sat.smt
• c8f197d specify macos-11 in nightly to force os11 build
• dde5218 fix mbqi value caching issue raised by Clemens and Martin
• d5fde2e #6538
• 4f7f437 fix bug in new core not detecting conflict, fix #6525, add tactic doc

This list of changes was auto generated.