From ac62118e2a032ed1c61161084da6ad2b6f9fb81b Mon Sep 17 00:00:00 2001 From: Andrew Wilcox Date: Sat, 23 Jan 2016 23:09:10 -0600 Subject: Add licenses, too --- licenses/otter | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 licenses/otter (limited to 'licenses/otter') 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. + -- cgit v1.2.3-70-g09d2