Database of Automated reaoning systems


This directory contains the beginnings of a database of automated
reasoning systems.  A short term objective is just to provide concise
useful information for people who have need for such a system and don't want
to `roll their own'.  Another objective is to provide a single place
where information about existing systems can be stored and examined,
thus providing an overview of the state of the art.  For this reason
entries are restricted to systems that are implemented and available to 
outside users.  The success of the database will depend in part on
the community providing feedback as to what information should
be included, useful format, and pointing out omissions.  PLEASE speak
up if you have ideas!

A long term goal for the database is to provide more formal descriptions 
of the tools in a way that would allow them to be used, when suitably 
encapsulated, as off-the-shelf components for incorporated reasoning tools 
into software systems, including of course other reasoning systems.  

This directory contains the files

README        -- this file
Entries       -- the subdirectory containing the current entries
ExtendedInfo  -- a subdirectory containing various additional information
                 about projects, applications, etc.
template      -- a template for the entry format
toc           -- a listing of the current entries


If you have updates, or suggestions for improved format,  new fields,
additional entries,  or whatever or if you want additional information,
contact: 

Carolyn Talcott
Computer Science Department
Stanford University
Stanford CA 94305
clt@sail.stanford.edu