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
2010-10-26 qbv-2.0-win.zip qbv-2.0-linux.tgz qbv-2.0-src.tgz
Requires Minisat-p 1.14!
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
2010-11-10 squolem-2.02-win.zip
 squolem-2.02-linux.tgz
2010-10-30 squolem-2.01-win.zip
 squolem-2.01-linux.tgz
2010-10-26
squolem-2.00-linux.tgz
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