# Algorithmisches Beweisen - LAB
<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>

# Dependencies:
- clang++ using std=c++23
- openmp

# 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`