commit 87ec5f6476c4eef898a0630a7a8ec36e236e0e3e
Author: Automatic Build System <autodist@openmamba.org>
Date:   Fri Jan 5 20:02:34 2024 +0100

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..cec0088
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# z3
+