Description
Temporal logic formulas and omega automata can be manipulated, translated, and checked from C++ or command-line workflows. The package builds the Spot libraries, Python support, and tools such as `ltl2tgba` for model-checking research and verification pipelines. It is aimed at developers and researchers who understand formal methods inputs.