This page hosts content built on : 20210328110436.
This page hosts content regularly rebuilt using the continuous integration service Travis. Our home page is still hosted at : ITS homepage
Download the latest executable for linux x64 : its-ltl for Linux latest.
Note that this executable is statically linked and should work without any further installation.
Download the latest its-ltl distribution here : ITS-ltl source distribution latest
Download the latest artifacts here (executable for Linux x64) : Linux latest its-ltl command. Note that this artifact embeds our dependencies (libDDD). This artifact is not very portable, it's used in our build system and is specific to a docker hosted on travis-ci.