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.