This project learns Mission-time Linear Temporal Logic (MLTL) formulas from labeled sets of positive and negative traces. Given example system behaviors that satisfy or violate a desired specification, the tool infers an MLTL formula that separates the two classes, effectively reverse-engineering a temporal specification from data.