/*********************************************************/
/*                                                       */
/* TABLEAUX NonClassical Systems Comparison (TANCS)      */
/*           Benchmark Generator                         */
/*                                                       */
/*  For information about this program, contact          */
/*      tancs@dis.uniroma1.it 	                         */
/*                                                       */
/* Copyright Fabio Massacci, November 1998               */
/*           Universita' di Roma "La Sapienza"           */
/*                                                       */
/*********************************************************/

/*********************************************************/
/* LEGAL STUFF 1: GNU PUBLIC LICENCE                     */
/*********************************************************/
/* Permission is granted to make and distribute verbatim */
/* copies  of this software provided the copyright notice*/
/* this permission notice are preserved on all copies.   */
/*                                                       */ 
/* Permission is granted to copy and distribute modified */
/* versions of this program under the conditions for     */
/* verbatim copying, provided that                       */
/* - modifications and corresponding author(s) are       */
/*   clearly specified in the copyright notice           */
/* - the entire resulting derived work is  distributed   */
/*   under the terms of a permission notice identical to */
/*   this one.                                           */
/* Permission is granted to copy and distribute transla- */
/* tions of this software into another language, under   */
/* the above conditions for modified versions.           */
/*********************************************************/

/*********************************************************/
/* LEGAL STUFF 2: DISCLAIMER                             */
/*********************************************************/
/* Fabio Massacci and the Dipart. of Informatica e Sist, */
/* of the University of Roma "La Sapienza" disclaim all  */
/* warranties with regard to this program, including all */
/* implied warranties of merchantability and fitness. In */
/* no event shall Fabio Massacci and the Dipart. of      */
/* Informatica e Sist, of the University of Roma "La     */
/* Sapienza" be liable for any special, indirect or      */
/* consequential damages or any damages whatsoever       */
/* resultingi from loss of use, data or profits, whether */
/* in an action of contract, negligence or other tortious*/
/* action, arising out of or in connection with the use  */
/* or performance of this program.                       */
/*********************************************************/