This project is a C++ implementation of the Survey Propagation algorithm, proposed on this paper: https://arxiv.org/pdf/cs/0212002.pdf
cnf
: Folder that storage DIMACS files.inc
: Headers.src
: Source code.doc
: Doxygen generator file.
mkdir build
cd build && cmake ..
make