This is the Survey Propagation C source code, plus some old revisions. Survey Propagation is a generalization of Belief Propagation that is able to solve huge random SAT formulae close to the SAT/UNSAT threshold.
