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(-)

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