blob: 41029509ddf86001be7259559388d42449257469 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
/*****************************************************************************/
/* AUTHORS: Vijay Ganesh, David L. Dill DATE: Nov 2005 */
/*****************************************************************************/
/* Copyright (C) 2005 by the Board of Trustees of Leland Stanford */
/* Junior University. */
/* */
/* License to use, copy, modify, sell and/or distribute this software */
/* and its documentation for any purpose is hereby granted without */
/* royalty, subject to the terms and conditions defined in the \ref */
/* LICENSE file provided with this distribution. In particular: */
/* */
/* - The above copyright notice and this permission notice must appear */
/* in all copies of the software and related documentation. */
/* */
/* - THE SOFTWARE IS PROVIDED "AS-IS", WITHOUT ANY WARRANTIES, */
/* EXPRESSED OR IMPLIED. USE IT AT YOUR OWN RISK. */
/*****************************************************************************/
|
