As of May 2022, this repository source code has been merged into https://github.com/lip6/ITSTools
This project is now archived.
A project to host command-line version of ITS-Tools components embedded in eclipse
See download page : https://yanntm.github.io/ITS-commandline
And our main project homepage for ITS-Tools : http://ddd.lip6.fr
For running the Model Checking Contest version of ITS-Tools that embeds this commandline tool, see the repository : https://github.com/yanntm/ITS-Tools-MCC