SBSAT is a Satisfiability Solver for formulas expressed as a conjunction of arbitrary Boolean functions. It is under development at the University of Cincinnati. If you are interested in trying it out, please fill out the boxes below, as desired, and click on the Preview button to continue to the Preview screen. Completing the request process implies that you agree to the copyright printed below.

Your name:		Type of affiliation: Academic Government Industrial Personal
Your email address:

Is there anything you would like us to know?:

/*******************************************************
 Copyright 1999-2003, University of Cincinnati.  
 All rights reserved.  By using this software the 
 USER indicates that he or she has read, understood 
 and will comply with the following:
 * 
 --- University of Cincinnati hereby grants USER 
 nonexclusive permission to use, copy and/or modify 
 this software for internal, noncommercial, research 
 purposes only.  Any distribution, including commercial 
 sale or license, of this software, copies of the 
 software, its associated documentation and/or 
 modifications of either is strictly prohibited without 
 the prior consent of the University of Cincinnati.  
 Title to copyright to this software and its associated 
 documentation shall at all times remain with University 
 of Cincinnati.  Appropriate copyright notice shall be 
 placed on all software copies, and a complete copy of 
 this notice shall be included in all copies of the 
 associated documentation.  No right is  granted to use 
 in advertising, publicity or otherwise any trademark,  
 service mark, or the name of the University of 
 Cincinnati.
 * 
 * 
 --- This software and any associated documentation is 
 provided "as is"
 * 
 UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR 
 WARRANTIES, EXPRESS OR IMPLIED, INCLUDING THOSE OF 
 MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, OR 
 THAT  USE OF THE SOFTWARE, MODIFICATIONS, OR ASSOCIATED 
 DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
 TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A 
 THIRD PARTY.
 * 
 University of Cincinnati shall not be liable under any 
 circumstances for any direct, indirect, special, 
 incidental, or consequential damages with respect to 
 any claim by USER or any third party on account of or 
 arising from the use, or inability to use, this software 
 or its associated documentation, even if University of 
 Cincinnati has been advised of the possibility of those 
 damages.
 *******************************************************/