--------------------------------------------------------------------------------
TigerDisp v0.70 | 20.03.2006 | Release Notes
--------------------------------------------------------------------------------



--------------------------------------------------------------------------------
Contents
--------------------------------------------------------------------------------
 1. Disclaimer
 2. Installation and Use
 3. About This Version
 4. Upcoming Versions



--------------------------------------------------------------------------------
1. Disclaimer
--------------------------------------------------------------------------------
THE TigerDisp SOFTWARE IS PROVIDED TO YOU "AS IS," AND WE MAKE NO EXPRESS OR
IMPLIED WARRANTIES WHATSOEVER WITH RESPECT TO ITS FUNCTIONALITY, OPERABILITY, OR
USE, INCLUDING, WITHOUT LIMITATION, ANY IMPLIED WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE, OR INFRINGEMENT. WE EXPRESSLY DISCLAIM ANY
LIABILITY WHATSOEVER FOR ANY DIRECT, INDIRECT, CONSEQUENTIAL, INCIDENTAL OR
SPECIAL DAMAGES, INCLUDING, WITHOUT LIMITATION, LOST REVENUES, LOST PROFITS,
LOSSES RESULTING FROM BUSINESS INTERRUPTION OR LOSS OF DATA, REGARDLESS OF THE
FORM OF ACTION OR LEGAL THEORY UNDER WHICH THE LIABILITY MAY BE ASSERTED, EVEN
IF ADVISED OF THE POSSIBILITY OR LIKELIHOOD OF SUCH DAMAGES.

BY USING THE SOFTWARE, YOU AGREE TO THE SPECIFIED TERMS.



--------------------------------------------------------------------------------
2. Installation and Use
--------------------------------------------------------------------------------
1. Install the Processing environment. Instructions for setting up Processing
and Processing binaries for Linux x86, Mac OS X and Windows can be found at
http://www.processing.org/download.
2. Extract the TigerDisp source (070.tgz).
3. Open tigerdisp.pde in the Processing environment and Run. 
 
 

--------------------------------------------------------------------------------
3. About This Version
--------------------------------------------------------------------------------
This marks the first major release of TigerDisp. This version contains roughly
the same source as was used in the experimentation for our first paper,
Understanding the Dynamic Behaviour of Modern DPLL SAT Solvers through Visual
Analysis. TigerDisplay displays metrics of 2 solvers opposite one-another. The
metrics displayed by default are decision depth, average decision depth, total
implications and learnt clause quantity/length. 



--------------------------------------------------------------------------------
4. Upcoming Versions
--------------------------------------------------------------------------------
The steps involve cleaning up the codebase and improving some run-time
efficiency. The next major project for TigerDisp involves a complete overhaul
such that TigerDisp becomes an object-oriented application in which users can
instantiate different types and numbers of plots and tie specific metrics to
these plots. This will generalize the source and allow SAT researchers to use
TigerDisp in a variety of analysis applications. 
