summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries')
-rwxr-xr-xBinaries/z3bin16438468 -> 0 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/z3 b/Binaries/z3
deleted file mode 100755
index 7c60feb4..00000000
--- a/Binaries/z3
+++ /dev/null
Binary files differ