New A new bug fix version of yQuaffle solver version 021006 is released.
Maintainer: Yinlei Yu (yyu_AT princeton_Dot edu)
Quaffle Source Code is available.
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.
Home | People | Publications | Softwares | Links | SAT Paper Library
© Copyright: 2001-2003 SAT Research Group, Princeton University