magic

Click here to see the number of accesses to this library.


# Index for magic
#  November 13, 1989

lib	doc

lib	monmacs
for	parts of the Argonne Monitor Macros package which are relevant to MaGIC.

lib	mstuff
for	help files (called *.show) and data

file	magic.u

file	magic.h

file	magic.m4

file	makefile

file	readme

file	tr.c

file	dialog.c

file	isom.c

file	lid.c

file	logic.c

file	logic_io_p.c

file	logic_io_s.c

file	logic_set.c

file	logic_test.c

file	magic.man

file	mp_parse.c

file	setup.c

#               MaGIC is a program which finds matrices for implication
#          connectives  for  various  types  of  logics. MaGIC has been
#          written by John Slaney from the Automated Reasoning Project,
#          The  Research  School  of  Social  Sciences,  The Australian
#          National University.
#
#          _I_n_s_t_a_l_l_a_t_i_o_n
#
#               This version  of  magic  has  been  written  using  the
#          Argonne  Monitor  Macros  package for portable parallel pro-
#          gramming. The  part  required  to  compile  magic  has  been
#          attached  so  that  you  do  not  have  to have these macros
#          installed on your system.
#
#               Before compilation and installation edit  the  Makefile
#          in the main directory of magic. On most systems only the top
#          few lines of the Makefile may require editing. And  so:  BIN
#          defines  where  magic's binaries will go, MAGLIB defines the
#          directory  in  which  magic's  auxiliary   files   will   be
#          installed.    The    manual    will    be    installed    in
#          $(MANROOT)/man$(MANSECT) as magic.$(MANSECT).Z, and the for-
#          matted    version    of    the    manual    will    go    to
#          $(MANROOT)/cat$(MANSECT). If you intend to place the auxili-
#          ary files and manual pages in different locations you should
#          edit magic.man so that the manual page would properly  point
#          to  file  locations,  and  that the manual section (which is
#          "L") is also correct. Also, remember that  under  Dynix  the
#          manual  is  compressed. If you don't run Dynix you will have
#          to comment out two lines from the  installation  part  which
#          compress the manual.
#
#               On  our  system  binary  files  and  manual  pages  are
#          writable  to  the  group.   This  is  reflected in variables
#          MANDMDE, MANMODE, and BINMODE - modify these  if  you  don't
#          want  the  group  to be allowed to write on magic's binaries
#          and libraries.
#
#               To read the command line, magic  uses  AT&T's  function
#          getopt.  Under  Dynix  this  means that you will have to use
#          -lseq library  during  linking.  Make  sure  that  -lseq  is
#          included in CLIBS if you run Dynix.
#
#               The Argonne Monitor Macros reside  in  ./monmacs.  They
#          will  be made during installation. If you prefer to use your
#          own version of these macros - redefine MACDIR  to  point  to
#          your  directory.  Note that these are the macros for Sequent
#          Symmetry. You will have to use different sets of macros  for
#          different machines.
#
#               Once you are happy with the Makefile, type
#
#                  make
#
#          and then if there were  no  problems  with  compilation  and
#          linking, type
#
#                  make install
#
#          to install magic, magic's libraries and the manual page.
#
#               To clean up the source directory type
#
#                  make clean
#
#          To remove magic, its libraries and manual pages type
#
#                  make deinstall
#
#
#          _R_u_n_n_i_n_g _m_a_g_i_c
#
#               Refer to the documentation in ./doc which describes how
#          to  run  magic.   These  documents  should be formatted with
#          LaTeX. There is one ecial in the file  ./doc/user_guide.tex.
#          It  works fine with with dvi2ps, which is part of tex82 dis-
#          tribution. The file which is  included  is  ./doc/xmagic.ps.
#          To format the documentation change to ./doc and type
#
#                  latex MaGIC
#
#          or
#
#                  format
#
#
#               Note that you can also run magic over the network using
#          an X Windows based front end: xmagic.
#
#          _M_a_i_n_t_e_n_a_n_c_e _o_f _M_a_G_I_C
#
#               In case of problems with installation and/or running of
#          magic contact John Slaney or Gustav Meglicki from the
#
#                  Automated Reasoning Project,
#                  The Research School of Social Sciences,
#                  The Australian National University,
#                  G.P.O. Box 4, Canberra, A.C.T. 2601,
#                  Australia
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#                               November 13, 1989
#
#
#