-------------------------------------------------------------------------------- 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.