Last modified on Mon Apr 29 15:47:59 PDT 1996 by heydon

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

This directory contains a simple program to test the Juno solver,
namely, the procedure JunoSolve.P(). See the comments at the
head of the file "src/SolveTest.m3" for details on how to run the
program (these comments serve in lieu of a man page). Also see the
file "src/README" for more information.