From fc505b6b171a2d54c3bad6078031b028b55131d3 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kris7topher@gmail.com>
Date: Sun, 14 Jul 2019 00:56:19 +0200
Subject: Polyhedron abstraction with Z3 for cardinality propagation

---
 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so | Bin 0 -> 270824 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100755 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so

(limited to 'Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so')

diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so
new file mode 100755
index 00000000..e2d2618d
Binary files /dev/null and b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.so differ
-- 
cgit v1.2.3-70-g09d2