===============================================================================================
Source code of VAC (Version 1.1)
===============================================================================================

YOU MUST INSTALL LIBRARIES NEEDED FIRST TO BUILD THE TOOL !

"libs" directory contains the libraries needed to build VAC.

Please refer to README in that directory of how to install those libraries.

You MUST install those libraries first to build other modules.

In order to install those libraries, you also need to install autoconf and automake tools on
your machine (on Ubuntu just say: sudo apt-get install automake autoconf).

"src" directory contains source code of three modules of VAC:

	1. "simplify" is the module to simplify the ARBAC policies.

	2. "translate" is the module to translate ARBAC policies into analyzable programs.

	3. "counterexample" is the module to produce counter example

Details of installation for each module are in each directory (please refer INSTALL files).

"tools" directory contains some Analyzer Tools. Please refer to README file in that directory.

================================================================================================
Building VAC Tool
================================================================================================
After installing the required libraries, you can use the classical `configure` `make` `make install` to build static version of VAC

================================================================================================
Using VAC tool
================================================================================================
Change to the installed directory and use the vac.py script to invoke the tool.

Please refer to this command `./vac.py -h` to know how to use the script.