| Validating QBF Decisions |
|
About -- Download -- Statistics
QBV/Squolem Download
We currently only distribute binaries for x86 Linux and Windows.
QBV Downloads:
Rel. Date
x86 Windows
x86 Linux
Source
2007-01-28
qbv-1.03-win.zip
qbv-1.03-linux.tgz
qbv-1.03-src.tgz
Requires Minisat-p 1.14!
Squolem Downloads:
Rel. Date
x86 Windows
x86 Linux
Source
2007-01-28
squolem-1.03-win.zip
squolem-1.03-linux.tgz
QBFi Downloads:
Rel. Date
x86 Windows
x86 Linux
Source
2006-11-27
qbfi-1.0-win.zip
qbfi-1.0-linux.tgz
QBC File Format Specification:
2007-05-01
qbcformat.pdf