SMT-LIB 2.7 update

SMT-LIB · Sep 9, 2024 · 09549fc · 09549fc
1 parent 87b88e5
commit 09549fc
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 0 deletions.
diff --git a/papers/smt-lib-reference-v2.7-draft-24.07.11.pdf b/papers/smt-lib-reference-v2.7-draft-24.07.11.pdf
diff --git a/papers/smt-lib-reference-v2.7-draft-24.09.09.pdf b/papers/smt-lib-reference-v2.7-draft-24.09.09.pdf
diff --git a/papers/smt-lib-reference-v2.7-draft.pdf b/papers/smt-lib-reference-v2.7-draft.pdf
@@ -0,0 +1 @@
+smt-lib-reference-v2.7-draft-24.09.09.pdf