The-Backtracking-Survey-Propagation-Algorithm-code

This code is able to solve random K-SAT instances by using Survey Inspired Decimation or by using Backtracking Survey Propagation.

If you want a faster version of this code please send an email to : raffaele.marino@unifi.it or marinoraffaele.nunziatella@gmail.com

Compilation

To compile the code:

g++ -Ofast *.cpp -o main.x

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Graph.cpp		Graph.cpp
Graph.hpp		Graph.hpp
Header.h		Header.h
README.md		README.md
Random.hpp		Random.hpp
Vertex.cpp		Vertex.cpp
Vertex.hpp		Vertex.hpp
main.cpp		main.cpp
random.h		random.h
walksat.cpp		walksat.cpp