                                 ACircuit
				 ~~~~~~~~

IMPORTANT NOTE
--------------
ACircuit requires that the MKAtoms program be present in the system,
in a directory contained in the $PATH variable. Make sure that MKAtoms
is installed *before* you begin to install ACircuit. The latest version
of MKAtoms can be downloaded from:

           http://krlab.cs.ttu.edu/~marcy/mkatoms/




COMPILING ACircuit
------------------
To compile ACircuit, type:

 % ./configure
 % make


INSTALLING ACircuit as ROOT
~~~~~~~~~~~~~~~~~~~~~~~~~~~~

To install ACircuit, type:

 % ./configure
 % make install [as root !]


INSTALLING ACircuit without ROOT access
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

To install ACircuit, type:

 % ./configure --prefix=/path/where/you/want/ACircuit/installed
 % make install

Remember that ACircuit requires LParse and SModels to be installed
in the system. Check the following URLs for further details:

o LParse webpage:
  http://www.tcs.hut.fi/Software/smodels/lparse/

o SModels webpage:
  http://www.tcs.hut.fi/Software/smodels/


RUNNING ACircuit
~~~~~~~~~~~~~~~~

If you installed ACircuit as root, just type:

 % /usr/local/bin/ACircuit

Otherwise, type:

 % /path/to/acircuit/bin/ACircuit

NOTE that you need to have JDK 1.1.8 or later installed in your system
in order to be able to run ACircuit. Check the following URL for further
details:

                     http://www.java.sun.com
