From 8eebfa5d6d8f4a99b6f9ecacfc711c47f02cfe76 Mon Sep 17 00:00:00 2001 From: Isabell Pflug Date: Fri, 17 Apr 2026 16:15:12 +0200 Subject: [PATCH] :art: Made README.md even prettier. --- README.md | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 3d7c3db..cd63d70 100644 --- a/README.md +++ b/README.md @@ -4,19 +4,21 @@ alt="Gitmoji">

-# Dependencies: +## Dependencies: - clang++ using std=c++23 - openmp -# Projects in this repository -## Root +## Projects in this repository +### Root - `Makefile` : Compiles every project for you. -## Hello -Hello World! test program +### Hello +Hello World! test program. + Files: - `src/hello/hello_world.cpp` -## random kcnf +### random kcnf Randomly generates a kcnf formula. + Files: - `src/random_kcnf/random_kcnf.cpp` - `lib/kcnf.cpp`