chore: add a makefile to download benchmarks

c-cube · Nov 6, 2019 · 59e92aa · 59e92aa
1 parent 2998753
commit 59e92aa
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/benchmarks/Makefile b/benchmarks/Makefile
@@ -0,0 +1,15 @@
+
+default:
+	@echo "use this makefile to download benchmarks"
+
+qf_uf:
+	wget http://smt-lib.loria.fr/zip/QF_UF.zip
+
+qf_dt:
+	wget http://smt-lib.loria.fr/zip/QF_DT.zip
+
+qf_lra:
+	wget http://smt-lib.loria.fr/zip/QF_LRA.zip
+
+qf_uflra:
+	wget http://smt-lib.loria.fr/zip/QF_UFLRA.zip