EST - Efficient Symbolic Tools

------------
Requirements
------------

To compile/run EST you need:
* Biddy library (http://lms.uni-mb.si/biddy/)

To compile on GNU/Linux, SunOS, or MacOSX you will also need:
* gcc
* bison
* flex
* tcl/tk (not needed for building library)

To compile on MS Windows you will also need:
* MINGW
* MSYS
* ActiveTcl (not needed for building library)

-----------
Running EST
-----------

There are two options of running EST:
1. run program est2ed (check binary directory or /usr/bin)
2. start script est2ed.tcl (check binary directory or /usr/lib/est2ed)

The second option will start wish (part of tcl/tk package)
and then interpret est2ed.tcl.

The first option will do very similar, the only difference is
that the main program will create tcl/tl interpreter and
wish will not be used.

It is very difficult to run 32-bit package on 64-bit systems
(and just not possible vice versa). 32-bit package expected
32-bit tcl/tk libraries and 64-bit systems has 64-bit libraries
installed. While 32-bit tcl/tk libraries for 64-bit systems exist
they will probably conflict with the 64-bit libraries so you will
have to unistall 64-bit libraries making your system very irregular.

-----------------------------------------------------
Building the package from sources of complete project
-----------------------------------------------------

Please, check variable BDDPATH in source/Makefile.TargetOS
before building. It should point to the directory containing
Biddy library and header.

Moreover, check variable GUIPATH in source/gui/Makefile.TargetOS.
It should point to the directory containing My Interface.
Default is ../../../myinterface which is usually correct.

~/est/est-2ed/source/$ make localbin (interactive version)
~/est/est-2ed/source/$ make locallib (libraries, only)
~/est/est-2ed/source/$ make (both)

------------------
GNU/Linux specific
------------------

EST is dynamically linked with Biddy library. You may have to tell your
system the path to Biddy library.

If your system uses bash:
$ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/absolute/path/to/biddy/library

If your system uses C shell:
$ setenv LD_LIBRARY_PATH /absolute/path/to/biddy/library
or
$ setenv LD_LIBRARY_PATH {$LD_LIBRARY_PATH}:/absolute/path/to/biddy/library

-------------------
MS Windows specific
-------------------

Download and install MINGW + MSYS (http://www.mingw.org/)
Download and install ActiveTcl (http://www.activestate.com/activetcl/downloads)
In each Makefile.MINGW change path to Tcl directory (default C:/Tcl)

Run commands in cmd.

---------------------------
Drawing BDDs (experimental)
---------------------------

You need graphviz package (http://www.graphviz.org/).
EST search for program dot (or dot.exe) in the standard path.
Moreover, you need BWidgets (on MS Windows you install it via teacup).

http://tcllib.sourceforge.net/
http://sourceforge.net/project/showfiles.php?group_id=12883

Temporary files in the data directory (*.dot, *.xdot, *.fun) are not
automatically deleted, but you can safely remove them.

----
Help
----

meolic@uni-mb.si
