Readme

   libSFTA : Symbolic Finite Tree Automata library

Installation

Follow these steps for successful installation of libSFTA:

1. Clone the git repository with libSFTA:

   $ git clone git://github.com/ondrik/libsfta.git libsfta

2. Enter the directory

   $ cd libsfta

3. Initialize git submodules in the repository

   $ git submodule init

4. Update git submodules

   $ git submodule update

5. Generate the Makefile

   $ cd build $ cmake ..

6. Compile the sources

   $ make

7. Run tests

   $ make test