Dear Z3 developers,
I wanted to kindly suggest two improvements for your releases, especially for the Java bindings in your artifacts:

• always include Java bindings for all platforms (Java bindings are missing in the artifact for Linux on ARM64 in release 4.13.2).
• use a consistent directory structure (Java bindings for Windows are located in /bin/java/ in the ARM64 artifact and in /bin/ in the x64 artifact).

Thank you for considering this in the next release, and for your great work on Z3!
Best.