A project to host command-line version of ITS-Tools components embedded in eclipse. This development version has a lot of traces activated.
See download page : https://tephilla.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