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 Group. 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.