From 6eeaf689c0ae81bf9df46f975b014b2b9e465f0a Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Fri, 31 Jul 2015 16:45:02 -0700
Subject: Add a Linux z3 binary to the repo, and use that or z3.exe based on
 the OS

---
 Binaries/z3 | Bin 0 -> 16438468 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 Binaries/z3

(limited to 'Binaries')

diff --git a/Binaries/z3 b/Binaries/z3
new file mode 100644
index 00000000..7c60feb4
Binary files /dev/null and b/Binaries/z3 differ
-- 
cgit v1.2.3