Bump Z3 to v4.12.1

[thpani]

Bump Z3 to v4.12.1

Unblocks #2140

• Entries added to ./unreleased/ for any new functionality

[codecov-commenter]

Codecov Report

Merging #2565 (6c6e5f3) into main (4853612) will decrease coverage by 0.01%.
The diff coverage is n/a.

❗ Current head 6c6e5f3 differs from pull request most recent head 5e30fa0. Consider uploading reports for the commit 5e30fa0 to get more accurate results

@@            Coverage Diff             @@
##             main    #2565      +/-   ##
==========================================
- Coverage   78.52%   78.51%   -0.01%     
==========================================
  Files         445      445              
  Lines       15617    15617              
  Branches     2550     2550              
==========================================
- Hits        12263    12262       -1     
- Misses       3354     3355       +1     

see 3 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[thpani]

So... on top of the Z3 version bump, I had to nix flake update to fix CI errors:

nix was pulling in glibc-2.33-50, but z3-turnkey is now built against glibc-2.34.
This lead to the following error in CI integration tests:

+java.lang.UnsatisfiedLinkError: /tmp/z3-turnkey17148880360307759062/libz3.so: /nix/store/mij848h2x5wiqkwhg027byvmf9x3gx7y-glibc-2.33-50/lib/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/z3-turnkey17148880360307759062/libz3.so)

Since glibc-2.34 was released in 2021, it doesn't seem excessive to update.

[thpani]

However, this now pulls in an updated mdx, which contains this regression: realworldocaml/mdx#428

Essentially, this messes with Apalache's > indented output.

[thpani]

Pinning nixpkgs at rev 76be8d2d04a00e5e2df6fa147dfc4797874edc97 gets us the right versions of mdx and glibc, but now GCC's libstdc++ has the wrong version:

+java.lang.UnsatisfiedLinkError: /tmp/z3-turnkey9780953678439786526/libz3.so: /nix/store/sq78g74zs4sj7n1j5709g9c2pmffx1y8-gcc-11.3.0-lib/lib/libstdc++.so.6: version `GLIBCXX_3.4.30' not found (required by /tmp/z3-turnkey9780Please report an issue at [https://github.com/informalsystems/apalache/issues]: java.lang.UnsatisfiedLinkError: /tmp/z3-turnkey9780953678439786526/libz3.so: /nix/store/sq78g74zs4sj7n1j5709g9c2pmffx1y8-gcc-11.3.0-lib/lib/libstdc++.so.6: version `GLIBCXX_3.4.30' not found (required by /tmp/z3-turnkey9780953678439786526/libz3.so)

GLIBCXX_3.4.30 is supported from GCC 12.1 on.