diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 16:45:02 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 16:45:02 -0700 |
| commit | 6eeaf689c0ae81bf9df46f975b014b2b9e465f0a (patch) | |
| tree | b4b9c5a452743e0df56c8e3174267d756f6d94d1 /Binaries | |
| parent | 65334f8f33c92a1e37376d6484d60ee45b55ca1d (diff) | |
Add a Linux z3 binary to the repo, and use that or z3.exe based on the OS
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/z3 | bin | 0 -> 16438468 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/z3 b/Binaries/z3 Binary files differnew file mode 100644 index 00000000..7c60feb4 --- /dev/null +++ b/Binaries/z3 |