diff options
Diffstat (limited to 'licenses/otter')
| -rw-r--r-- | licenses/otter | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/licenses/otter b/licenses/otter deleted file mode 100644 index d4158d9a8..000000000 --- a/licenses/otter +++ /dev/null @@ -1,30 +0,0 @@ -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. - |