Survey Propagation

AttachmentSize
sp-1.1.tgz26.82 KB
sp-1.2.tgz27.79 KB
sp-1.3.tgz27.8 KB
sp-1.4b.tgz28.23 KB

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.