There are two alternative ways of instalation:
1) with precompiled executables
2) with compiling from sources

In both cases, you need to unpack the archive, set some system variables in file config 
and run a prepared script.

*********************************
1) with precompiled executables
*********************************
Requirements:

linux (the executables are provided for linux)
python (tested with python 1.4)
java 1.5 

-------------------------------------
$ tar xfz ARTMC-distr-1.tgz
$ cd ARTMC-distr-1
$ ./set_project_path.sh
-----------------------------------
The tool is ready to be used

*********************************
2) with compiling from sources
*********************************
Requirements:

POSIX OS 
mona (version 1.4), http://www.brics.dk/mona/
python (tested with python 1.4)
java 1.5
gcc

-------------------------------------
Download and __compile__ mona (http://www.brics.dk/mona/), the ARTMC tool 
use some libraries from this project.

$ tar xfz ARTMC-sources-1.tgz
$ cd ARTMC-distr-1
$ vim config
	- set MONA variable according to the location of the mona sources
	- e.g. MONA=/home/tools/mona-1.4
	- optionally you can set the path for the java runtime engine
	- e.g. JRE_PATH=/usr/bin/java
$ ./set_project_path.sh
$ ./bin/build_tool.t.sh
	- this buid all necessary executables
	- there may be few warnings, but NO error
------------------------------------
The tool is ready to be used

*****************************************************
Note for Cygwin (POSIX subsystem for windows) users:
*****************************************************

There is a problem with compiling the mona under cygwin. Nevertheless, it is still possible 
to build the artmc tool. You need to visit the folders Mona-1.4/Bdd MONA-1.4/GTA Mona-1.4/Mem 
and compile the libraries manually. The folowing command may work:
$ for i in *.c; do gcc -c $i; done

It would produce the .o files, which are necessary to build the ARTMC.