Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
27 lines (18 sloc) 1.13 KB
SACLIB (C) Copyright 1993 by Kurt Goedel Institute
The SACLIB system source code and User's Guide are made available
free of charge by the Kurt Goedel Institute on behalf of the SACLIB
Persons or institutions receiving it are pledged not to distribute it to
others. Instead, individuals wishing to acquire the system should obtain it
by ftp directly from the Kurt Goedel Institute, informing the Institute of
the acquisition. Thereby the SACLIB Group will know who has the system and
be able to inform all users of any corrections or newer versions.
Users are kindly asked to cite their use of the system in any resulting
publications or in any application packages built upon SACLIB.
Neither SACLIB nor any part thereof may be incorporated in any commercial
software product without the consent of the authors. Users developing
non-commercial application packages are kindly asked to inform us.
Requests or proposals for changes or additions to the system will
be welcomed and given consideration.
SACLIB is offered without warranty of any kind, either expressed or implied.
However reports of bugs or problems are encouraged.