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.
543 B
543 B
Algorithmisches Beweisen - LAB
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.cpplib/kcnf.cpplib/kcnf.hpp