libmltl. A high-performance library for Mission-time Linear Temporal Logic (MLTL) parsing, AST manipulation, and formula evaluation. Supports C++ and Python interfaces.