Download page for ITS-LTL

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.