Otter and MACE Legal Page
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 here by download.
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.
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.