From f1456faf4daf623fe3d12e46b218edc7df65f13e Mon Sep 17 00:00:00 2001
From: Isabell Pflug <isabell.pflug@floating-in.space>
Date: Fri, 17 Apr 2026 16:09:23 +0200
Subject: [PATCH] :memo: Added random_kcnf project to README.md.

---
 README.md | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 5e43e6f..ee7695d 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,22 @@
 # Algorithmisches Beweisen - LAB
-Dateien in diesem Repository:
-- `Makefile`: Hiermit lässt sich jedes Programm in src kompilieren.
-- `src/hello_world.cpp`: Hello World test Programm.
+<a href="https://gitmoji.dev">
+		<img src="https://img.shields.io/badge/gitmoji-%20😜%20😍-FFDD67.svg?style=flat-square"
+			 alt="Gitmoji">
+</a>
+Files and projects of this repository:
+- `Makefile`: Compiles every project for you.
+
+# Dependencies:
+- clang++ using std=c++23
+- openmp
+
+## 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`