Version 1.2 released

We improved the interface for the user and made TAKOS able to cope with larger examples.


Some examples

We added some examples of systems processed with TAKOS. See the examples section.


Version 1.1 released

The version 1.1 of TAKOS is released.

Some modifications have been made to the user interface.


Version 1.0 released

The version 1.0 of TAKOS is released. It is available as a JAR file with all included. A documentation is available (see Documentation).