📝 Added helpful README.md

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`