diff --git a/libs/com.microsoft.z3.jar b/libs/com.microsoft.z3.jar
new file mode 100644
index 0000000000000000000000000000000000000000..0ee9d9054f7d2a6310bb2fafc87a24ff0442463e
Binary files /dev/null and b/libs/com.microsoft.z3.jar differ