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