Copyright (C) 1992, Digital Equipment Corporation
All rights reserved.
See the file COPYRIGHT for a full description.

Last modified on Mon Apr 29 15:50:07 PDT 1996 by heydon

/proj/m3/pkg/juno-machine/tests/solve/src/README

DESCRIPTION

  This directory contains the source for a simple program to test
  the Juno solver. The program reads files containing symbolic
  expressions from standard input, and prints its results on standard
  output. See the description at the head of the file "SolveTest.m3"
  for details on how to run the program.

CONTENTS

  SolveTest.m3          source to build test program
  test?.sx.{in,out}	test input/output files