Skip to content

Latest commit

 

History

History
8 lines (7 loc) · 438 Bytes

README.md

File metadata and controls

8 lines (7 loc) · 438 Bytes

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