The cpp remade version of HUST Program Design, SAT Solver Problem.

To make this project, execute commands:

mkdir build
cd build
cmake ..
make

This project exports compile_commands.json by default for clangd.

Debugging configurations within vscode provided as well, try F5 with breakpoints. If terminal hints "Permission denied", try:

chmod 777 .vscode/make_solver.sh