Merge pull request #18 from elsoroka/dev

Dockerfile for VMCAI artifact
elsoroka · Sep 11, 2023 · 142ef29 · 142ef29
2 parents 6d8bf97 + 28496f5
commit 142ef29
Show file tree

Hide file tree

Showing 28 changed files with 138 additions and 9,847 deletions.
diff --git a/.../paper_examples/clark_barretts_example.jl → examples/clark_barretts_example.jl b/.../paper_examples/clark_barretts_example.jl → examples/clark_barretts_example.jl
diff --git a/examples/paper_examples/Dockerfile b/examples/paper_examples/Dockerfile
@@ -0,0 +1,9 @@
+FROM julia:1.9
+
+RUN apt-get update  && apt-get install -y git
+RUN git clone https://github.com/elsoroka/Satisfiability.jl.git
+RUN apt-get install -y z3
+
+WORKDIR /Satisfiability.jl/examples/paper_examples
+RUN chmod +x run_examples.sh
+CMD ./run_examples.sh
diff --git a/examples/paper_examples/QF_LIA-master-pidgeons/pidgeons/pigeon-hole-10.smt2 b/examples/paper_examples/QF_LIA-master-pidgeons/pidgeons/pigeon-hole-10.smt2