The package containing source code of bpquaffle (Belief Propagation guided Quaffle),

bpspdu (Belief Propagation and Survey Propagation for extracting a Unsatisfiable sub-formula from a QBF),

rqgen (Random QBF Generator) and

executable binary of bpqube7.2 (QuBE7.2 using Belief Propagation as decision heuristic)

can be downloaded here.

And the paper is here.