z3
z3 copied to clipboard
Missing Java bindings for Linux on ARM64 in release 4.13.2
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.