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).