Artifact of "Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization"

This is an artifact of our paper "Active Learning of Deterministic Timed Automata with Myhill-Nerode Style Characterization." The artifact contains LearnTA, a prototype tool implementing the proposed algorithm, and DOTALearningSMT (called OneSMT in the paper), an existing tool used in the experiment as a baseline method.