| Otter and MACE Legal Information |
| |
| November 21, 2001. |
| |
| This information refers to the Otter and MACE automated deduction |
| software, created at Argonne National Laboratory. |
| |
| Copyrights |
| |
| The University of Chicago has declined to assert its |
| copyrights in this software. It may be used by the public without |
| restriction and is available by download at www.mcs.anl.gov/AR/otter/. |
| |
| License |
| |
| This material resulted from work developed under a U.S. Government contract |
| and is subject to the following license: the Government is granted for |
| itself and the public a paid-up, nonexclusive, irrevocable worldwide |
| license in this material to reproduce, prepare derivative works, distribute |
| copies to the public, and perform publicly and display publicly. |
| |
| Disclaimer |
| |
| NEITHER THE UNITED STATES GOVERNMENT NOR ANY AGENCY THEREOF, NOR ANY OF |
| THEIR EMPLOYEES OR OFFICERS, MAKES ANY WARRANTY, EXPRESS OR IMPLIED, OR |
| ASSUMES ANY LEGAL LIABILITY OR RESPONSIBILITY FOR THE ACCURACY, |
| COMPLETENESS, OR USEFULNESS OF ANY INFORMATION, APPARATUS, PRODUCT, OR |
| PROCESS DISCLOSED, OR REPRESENTS THAT ITS USE WOULD NOT INFRINGE PRIVATELY |
| OWNED RIGHTS. |
| |
