CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

RRL: Rewrite Rule Laboratory

This directory contains RRL, the Rewrite Rule Laboratory, and related systems.
Origin: []

Version: RRL (24-JUL-92); SUTRA 1.0 (30-MAR-90); Herky (5-MAY-93); Franz RRL (28-MAY-89) Requires: Common Lisp, Franz Lisp CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Hantao Zhang Dept. of Computer Science The University of Iowa Iowa City, IA 52242 Keywords: Authors!Zhang, Automated Reasoning, Lisp!Code, RRL, Reasoning!Automated Reasoning, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:39 1995