This directory has examples of running the auxiliary programs
described in the MACE4 manual.

See the files run-all and index.html.
