6 files changed, 1 insertions, 0 deletions

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
--- 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
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
--- a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dll
+++ /dev/null
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
--- a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3.dylib
+++ /dev/null
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
--- a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dll
+++ /dev/null
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
--- a/Solvers/SMT-Solver/com.microsoft.z3/lib/libz3java.dylib
+++ /dev/null
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/