You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
549 B
Markdown
26 lines
549 B
Markdown
# 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`
|