Projects are included in binary distribution of EST (non-interactive version). Please, download zip file because deb and rpm packages do not include projects. You will also need Biddy package, which is not included in EST packages.

Building projects: Go to the project's folder, change paths in Makefile.$OS ($OS is your OS, e.g. Linux) and do make. This should work, otherwise please send me a mail.

EST 1st Edition

  • demo: Hello World example

EST 2nd Edition

  • demo: Hello World example
  • wca: Witness and Counterexample Automata Generator for ACTL
  • min: Minimization of processes

EST

Latest stable source

est-2ed-6-3-source.zip

64-bit binary distribution (Tcl/Tk GUI)

est-2ed-6-3-Linux-mish.zip

(x86_64, GNU/Linux, Tcl/Tk, statically linked)

est2ed_6.3-1_amd64.deb

(amd64, GNU/Linux, Debian/Ubuntu, Tcl/Tk)

est2ed-6.3-1.x86_64.rpm

(x86_64, GNU/Linux, RPM, Tcl/Tk)

est-2ed-6-3-Win-mish.exe

(x86_64, Windows, Tcl/Tk)

64-bit binary distribution (libraries only)

est-2ed-6-3-Linux.zip

(x86_64, GNU/Linux, statically linked)

libest2_6.3-1_amd64.deb

libest2-dev_6.3-1_amd64.deb

(amd64, GNU/Linux, Debian/Ubuntu)

libest2-6.3-1.x86_64.rpm

libest2-devel-6.3-1.x86_64.rpm

(x86_64, GNU/Linux, RPM)

est-2ed-6-3-Win.exe

(x86_64, Windows)

Documentation

The Efficient Symbolic Tools package, 2000

Notes on specifying systems in EST, 2006

Savannah

EST Project page

EST SVN repository

Sorry, no user manual, yet!

robert@meolic.com
Maribor, Slovenia