Lecture: Practical SAT Solving

Summer Term 2024



Slides and Code used in the Exercises


The code/src/util directory contains a CNF file parser that is called when instantiating the class in CNFFormula.h, which can also read packed CNF files. The parser uses `libarchive’ (for unpacking CNF files), so to use it you need to install libarchive like this:

Using the included cmake build script CMakeLists.txt, you can build the programs we provide in the code/ directory as follows:

cmake -S code -B code/build
cmake --build code/build

This builds the program code/build/essential from our last slide in the first lecture.