Copyright (C) 1991 by Martinus J. G. Veltman.
The copyrights to the Schoonschip program and source code are owned exclusively by their author, M.J.G. Veltman. The executable code, as well as the example and documentation files listed below, may be freely disseminated and used on a not-for-profit basis--small charges may be made to cover distribution costs. We think it important that the files in this distribution be kept together in any redistribution.
This software is provided "as is," and includes no guarantee of support, implied or otherwise. Neither the author nor his agents shall be responsible for any problems associated with its use. A reasonable effort will be made to correct bugs, which may be reported to
Prof. M.J.G. Veltman
University of Michigan>BR> Ann Arbor, MI 48109
Prof. David N. Williams
University of Michigan
Ann Arbor, MI 48109
It has been developed always in a context of solving real problems, over a period of nearly 28 years. As a result it is (relatively) bug free, and its algorithms embody a certain experience. It has to be emphasized that no program of this complexity can be truly bug free, and that the problem of ensuring the correctness of machine solutions to real problems remains unsolved, and must always be taken seriously by the user.