Missing Java bindings for Linux on ARM64 in release 4.13.2

[kfriedberger]

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.

[NikolajBjorner]

The current nightly should have it https://github.com/Z3Prover/z3/releases/tag/Nightly.
I will roll another release this week to get this in.

[kfriedberger]

Release 4.13.3 seems to contain all wanted files. Thanks.

The file Microsoft.Z3.dll is included in both the Linux and macOS releases, but it's technically not required for those platforms, correct? Better to have an extra file than to miss one! 😄

[NikolajBjorner]

Microsoft.Z3.dll is for .Net.