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 --- .../lib/libviatracbc.so | Bin 46416 -> 38488 bytes 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 .../VIATRA-Solver/org.eclipse.viatra.dse/.gitignore | 1 + 6 files changed, 1 insertion(+) 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 create mode 100644 Solvers/VIATRA-Solver/org.eclipse.viatra.dse/.gitignore (limited to 'Solvers') diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so index ba3cdc06..e2dc84e1 100755 Binary files a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so and b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so differ 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 diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/.gitignore b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/.gitignore new file mode 100644 index 00000000..ae3c1726 --- /dev/null +++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/.gitignore @@ -0,0 +1 @@ +/bin/ -- cgit v1.2.3-70-g09d2