# MLTL Formula Files [`.mltl`]

An MLTL formula file is a subset of the full C2PO input format primarily used for testing.

See [MLTL Grammar](../mltl_grammar.md) for a formal syntax.