MLTL Formula Files [.mltl]

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

See MLTL Grammar for a formal syntax.