|
SBSAT Download Form
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.
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.
*******************************************************/
|