QBF Solvers

Horst Samulowitz, Jessica Davies and Fahiem Bacchus, University of Toronto

The following software is available:

  1. QBF Preprocessor PreQuel

  2. QBF Solver SQBF

  3. QBF Solver 2clsQ

Before you download please be aware of the following legal restriction on the use of the software.

Legal Matters

The SQBF and 2clsQ software available at this site is copyright (c) 2005-2006 by Horst Samulowitz and Fahiem Bacchus. The PreQuel software available at this site is copyright (c) 2006 by Horst Samulowitz, Jessica Davies and Fahiem Bacchus. All rights are reserved. Use of this software is permitted for non-commercial research purposes, and it may be copied only for that use. All copies must include this copyright message. This software and any documentation and/or information supplied with it is distributed on an as is basis. Horst Samulowitz and Fahiem Bacchus and the University of Toronto make no warranties, express or implied, including but not limited to implied warranties of merchantability and fitness for a particular purpose, regarding the documentation, functions or performance of such software, documentation and/or information.

If you would like to use any of this software for commercial purposes, please contact one of the authors.

1. QBF Preprocessor PreQuel.

Contact Authors J. Davies and H. Samulowitz

The following paper describes the approach:

Download the Prequel software here (gzipped tar file with C++ sources).



2. QBF solver SQBF.

Contact Author H. Samulowitz

The following paper describes the approach:

Download the SQBF software here (gzipped tar file with C++ sources).



3. QBF solver 2clsQ.

Contact Author H. Samulowitz

The following paper describes the approach:

Download the 2clsQ software here (gzipped tar file with C++ sources).


Author's home pages
Fahiem Bacchus's home page.
Horst Samulowitz's home page.
Jessica Davies's home page.