/[gentoo-x86]/licenses/otter
Gentoo

Contents of /licenses/otter

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations) (download)
Fri May 16 09:49:17 2003 UTC (11 years, 2 months ago) by george
Branch: MAIN
CVS Tags: HEAD
Branch point for: RELEASE-1_4
new license for app-sci/otter

1 Otter and MACE Legal Information
2
3 November 21, 2001.
4
5 This information refers to the Otter and MACE automated deduction
6 software, created at Argonne National Laboratory.
7
8 Copyrights
9
10 The University of Chicago has declined to assert its
11 copyrights in this software. It may be used by the public without
12 restriction and is available by download at www.mcs.anl.gov/AR/otter/.
13
14 License
15
16 This material resulted from work developed under a U.S. Government contract
17 and is subject to the following license: the Government is granted for
18 itself and the public a paid-up, nonexclusive, irrevocable worldwide
19 license in this material to reproduce, prepare derivative works, distribute
20 copies to the public, and perform publicly and display publicly.
21
22 Disclaimer
23
24 NEITHER THE UNITED STATES GOVERNMENT NOR ANY AGENCY THEREOF, NOR ANY OF
25 THEIR EMPLOYEES OR OFFICERS, MAKES ANY WARRANTY, EXPRESS OR IMPLIED, OR
26 ASSUMES ANY LEGAL LIABILITY OR RESPONSIBILITY FOR THE ACCURACY,
27 COMPLETENESS, OR USEFULNESS OF ANY INFORMATION, APPARATUS, PRODUCT, OR
28 PROCESS DISCLOSED, OR REPRESENTS THAT ITS USE WOULD NOT INFRINGE PRIVATELY
29 OWNED RIGHTS.

  ViewVC Help
Powered by ViewVC 1.1.20