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