Build Instructions

• Download boost library for dynamic_bitset ( sudo apt install libboost-dev )
• mkdir build in the root directory of the project
• cd into build directory and run cmake --build . --config Release --target all to configure the project (gcc version >=8 for c++20 features) in release mode.
• Run make to build the project
• cd into executable directory.
• Run dpll with the cnf file in dimacs format