Skip to content

theoremprover-museum/SEQUEL

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SEQUEL

This repository contains a copy of Mark Tarver's SEQUEL system versions 7.0 and 5.3.

SEQUEL has the following license:

   |=========================================================================|
   |                         COPYRIGHT NOTICE                                |
   |                                                                         |
   |             Copyright 1990, 1991, 1992, 1993, Mark Tarver               |
   |                                                                         |
   |        Permission to use, copy, and distribute this software and        |
   | its documentation for any purpose is hereby granted providing           |
   | any such use, copying and distribution is not done                      |
   | for money, securities or any other pecuniary benefit and that both      |
   | the above copyright and this permission notice appear in all copies     |
   | and in the supporting documentation.  Any modification of the software  |
   | or documentation should be accompanied by the name of the author of the |
   | modification, and Mark Tarver must be formally notified                 |
   | of this modification before distributing the software.                  |
   |                                                                         |
   |       Any commercial use of this software or use of the names "SEQUEL", |
   | or "Mark Tarver" in connection with any version, modified or            |
   | unmodified, of this software, through publicity or advertising,         |
   | requires written permission.  Mark Tarver makes no                      |
   | representation about the suitability of this software for any purpose.  |
   | SEQUEL is provided "as is" without express or implied warranty.         |
   |                                                                         |
   |       Mark Tarver disclaims all warranties with regard to               |
   | this software, including all implied warranties of merchantability and  |
   | fitness. In no event shall Mark Tarver be liable for any                |
   | special, indirect or consequential damages or any damages whatsoever    |
   | resulting from loss of use, data or profits, whether in an action of    |
   | contract, negligence or other tortious action, arising out of or in     |
   | connection with the use or performance of this software.                |
   |                                                                         |
   |=========================================================================|

The files in this repository were copied from https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/tools/sequel/.

About

Mark Tarver's SEQUEL system versions 7.0 and 5.3

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages