Alfredo Braunstein

This is the original Survey Propagation code for the SAT problem.

# prints usage.
./sp -h

Check out the README text file inside the .tgz archive.

The companion paper: [1].

1. Braunstein, A, Mézard, M, and Zecchina, R, 2005, “Survey Propagation: an algorithm for satisfiability” Random Structures Algorithms 27 201–226, http://arxiv.org/abs/cs/0212002.