|
|
|
@ -4,19 +4,21 @@
|
|
|
|
alt="Gitmoji">
|
|
|
|
alt="Gitmoji">
|
|
|
|
</a></p>
|
|
|
|
</a></p>
|
|
|
|
|
|
|
|
|
|
|
|
# Dependencies:
|
|
|
|
## Dependencies:
|
|
|
|
- clang++ using std=c++23
|
|
|
|
- clang++ using std=c++23
|
|
|
|
- openmp
|
|
|
|
- openmp
|
|
|
|
|
|
|
|
|
|
|
|
# Projects in this repository
|
|
|
|
## Projects in this repository
|
|
|
|
## Root
|
|
|
|
### Root
|
|
|
|
- `Makefile` : Compiles every project for you.
|
|
|
|
- `Makefile` : Compiles every project for you.
|
|
|
|
## Hello
|
|
|
|
### Hello
|
|
|
|
Hello World! test program
|
|
|
|
Hello World! test program.
|
|
|
|
|
|
|
|
|
|
|
|
Files:
|
|
|
|
Files:
|
|
|
|
- `src/hello/hello_world.cpp`
|
|
|
|
- `src/hello/hello_world.cpp`
|
|
|
|
## random kcnf
|
|
|
|
### random kcnf
|
|
|
|
Randomly generates a kcnf formula.
|
|
|
|
Randomly generates a kcnf formula.
|
|
|
|
|
|
|
|
|
|
|
|
Files:
|
|
|
|
Files:
|
|
|
|
- `src/random_kcnf/random_kcnf.cpp`
|
|
|
|
- `src/random_kcnf/random_kcnf.cpp`
|
|
|
|
- `lib/kcnf.cpp`
|
|
|
|
- `lib/kcnf.cpp`
|
|
|
|
|
