From 873aeb05180afbedae494282ef360cacd69e2d84 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 5 Jan 2021 04:13:26 +0100 Subject: add models20 measuement setup from VM --- Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll | Bin 15446904 -> 0 bytes Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib | Bin 22033856 -> 0 bytes .../SMT-Solver/com.microsoft.z3/lib/libz3java.dll | Bin 109432 -> 0 bytes .../SMT-Solver/com.microsoft.z3/lib/libz3java.dylib | Bin 166568 -> 0 bytes 4 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll delete mode 100755 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib delete mode 100644 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll delete mode 100755 Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib (limited to 'Solvers/SMT-Solver') diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll deleted file mode 100644 index 46b1e7c2..00000000 Binary files a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll and /dev/null differ diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib deleted file mode 100755 index 6ca9aea8..00000000 Binary files a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib and /dev/null differ diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll deleted file mode 100644 index 615bf3b8..00000000 Binary files a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll and /dev/null differ diff --git a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib b/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib deleted file mode 100755 index 73e02b97..00000000 Binary files a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib and /dev/null differ -- cgit v1.2.3-54-g00ecf