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