[CONTACT]

[ABOUT]

[POLICY]

November lib doc lib monmacs for

Found at: ftp.icm.edu.pl:70/packages/netlib/magic/index

# Index for magic
#  November 13, 1989

lib	magic/doc

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

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

file	magic/magic.u

file	magic/magic.h

file	magic/magic.m4

file	magic/makefile

file	magic/readme

file	magic/tr.c

file	magic/dialog.c

file	magic/isom.c

file	magic/lid.c

file	magic/logic.c

file	magic/logic_io_p.c

file	magic/logic_io_s.c

file	magic/logic_set.c

file	magic/logic_test.c

file	magic/magic.man

file	magic/mp_parse.c

file	magic/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.
#
#
#               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
#
#
#
#               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.
#
#
#               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
#
#
#

.


AD:

NEW PAGES:

[ODDNUGGET]

[GOPHER]