TADAM: Timed Automata Discovery Applying MDL We plan to update the documentation and the API of TADAM in the following months. This repository also includes the source code of RTI+ (GPL licence) and TAG (BSD 3-clause licence).