From 0d94c8f5795b092372df5a06d6d0f9306d696d9b Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Tue, 21 Jul 2015 11:38:51 -0700
Subject: Update z3 to 4.4. One test had to be edited.

---
 Binaries/z3.exe | Bin 6343680 -> 11018752 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'Binaries')

diff --git a/Binaries/z3.exe b/Binaries/z3.exe
index 72aa6ccd..4e29a0a7 100644
Binary files a/Binaries/z3.exe and b/Binaries/z3.exe differ
-- 
cgit v1.2.3