From 67eb9cabe53d13a7d17b27bd78e00f378104ae50 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 24 Nov 2023 20:10:24 +0100 Subject: build: package Z3 solver native libraries --- .../main/resources/z3java-linux-aarch64/libz3java.so | Bin 0 -> 295952 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100755 z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so (limited to 'z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so') diff --git a/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so new file mode 100755 index 00000000..e37c7cdb Binary files /dev/null and b/z3/subprojects/solver-linux-aarch64/src/main/resources/z3java-linux-aarch64/libz3java.so differ -- cgit v1.2.3-54-g00ecf