.\" @(#)magic.l 0.9 89/11/09 ARP;
.TH MAGIC L "12 November 1989"
.SH NAME
magic \- MaGIC, Matrix Generator for Implication Connectives
.SH SYNOPSIS
.LP
.B magic
.RI [ "-# number" "] [" -x ]
.SH DESCRIPTION
.LP
.BR  magic 
is a program for generating matrices for implication connectives for a variety
of logical systems.
.SH OPTIONS
.TP 15 
.BI \-# " number"
specifies the number of processes to be forked by 
.B magic 
while running in
parallel mode. 
.I number
must be more than 1.
.TP 
.B \-x 
prevents
.B magic 
from hanging if executed on a remote host or
if talked to through pipes. This option modifies the display and removes
some auxiliary messages. 
.SH FILES
.PD 0
.TP 30
.B /usr/local/lib/magic/*.show
various help files
.TP
.B /usr/local/lib/magic/ba.16
.TP
.B /usr/local/lib/magic/dl*
.TP
.B /usr/local/lib/magic/l*
.TP
.B /usr/local/lib/magic/p*
.TP
.B /usr/local/lib/magic/t*
various auxiliary data files in machine readable form.
.PD
.SH SEE ALSO
.BR xmagic (L),
.I MaGIC Version 1.1 Notes and Guide
.SH BUGS
.LP
.B magic
cannot be stopped cleanly once the 
.I generate
command is issued. 
.SH AVAILABILITY
.B magic
can be obtained from the Automated Reasoning Project by snail-mail or by
anonymous ftp (~ARP/magic.tar.Z).
.SH AUTHORS
John Slaney, Automated Reasoning Project, The Research School of Social 
Sciences, The Australian National University, G.P.O. Box 4, 
Canberra, A.C.T. 2601, Australia; e-mail:
.I jks@arp.anu.oz.au

.