Source code for Quaffle is available for download
here . Please read the lincence agreement on the top of each file.
The code is experimental and for algorithm evaluation only. It should
compile under most Unix/Linux machines using g++.

The run time comparison of Quaffle with two other state of the art QBF
solvers QuBE and
Semprop
is available here. The benchmarks
are obtained from QBFLib. The
experiments were carried out on a Dell PowerEdge 1500sc with 1133Mhz PIII
CPU and 1G memory. Time out limit is 600 seconds.