Before you download please be aware of the following legal restriction on the use of the software.
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.