Ticc Installation

After you have downloaded the file, expand the tarball with:

    tar xfvz ticc.tgz

You can then proceed as described in the INSTALL file, or do as follows:

Compile the BDD/MDD package glu:

    $ cd src/glu-2.0
    $ touch configure
    $ ./configure
    $ make

Compile Ticc:
```
    $ cd ../..
    $ make 
```
The resulting executable, called ticc, is left in the top-level directory (actually, ticc is a symbolic link, but let's not get into that). Make sure that that directory is in your path, or else, execute ticc with full path.
Finally, to make the documentation, do:
```
    $ make doc 
```
The result is left in the doc/api directory; look in particular at Ticc.html.

Good luck! - and let us know if you encounter any problems.