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/z3.exe')

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


From 5630200c12094d86d3ff75ce251f0776b8dfb265 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Tue, 17 Nov 2015 15:21:11 -0800
Subject: Changed checked-in version of Z3 to 4.4.1 (from 4.4.0)

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

(limited to 'Binaries/z3.exe')

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