Add licenses, too

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.
+