This repository contains the final bachelor's thesis and associated with it code.
-
src/:
- Contains all the C++ code.
- Dive into the src/ directory README for more details on how to use the code.
-
scripts/:
- Hosts the benchmarking script and other helper scripts.
- Dive into the scripts/ directory README for more details and instructions.
-
tests/:
- Example folder containing tests for benchmarking.
-
thesis.pdf:
- Bachelor thesis describing all experiments and discussing results.
- Link to thesis.pdf
For all artifacts that were produced during the development process, please refer to this separate repository. This current repository focuses only on the final solver version.