From 72592d445575b78a7dd85de495e88007cb4319f2 Mon Sep 17 00:00:00 2001
From: Isabell Pflug <isabell.pflug@floating-in.space>
Date: Fri, 17 Apr 2026 16:40:36 +0200
Subject: [PATCH] :memo: Added helpful README.md

---
 README.md | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..628b5ee
--- /dev/null
+++ b/README.md
@@ -0,0 +1,25 @@
+<p align="center"><a href="https://gitmoji.dev">
+		<img src="https://img.shields.io/badge/gitmoji-%20😜%20😍-FFDD67.svg?style=flat-square"
+			 alt="Gitmoji">
+</a></p>
+# Algorithmisches Beweisen - LAB
+
+## Dependencies:
+- clang++ using std=c++23
+- openmp (optional)
+
+## Projects in this repository
+### Root
+- `Makefile` : Compiles every project for you.
+### Hello
+Hello World! test program.
+
+Files:
+- `src/hello/hello_world.cpp`
+### random kcnf
+Randomly generates a kcnf formula.
+
+Files:
+- `src/random_kcnf/random_kcnf.cpp`
+- `lib/kcnf.cpp`
+- `lib/kcnf.hpp`