A command-line tool and a library for Omega-words, ω-automata and Linear Temporal Logic (LTL).
The following previous releases are available:
ltl2ldba is the precursor of Owl and available for archival purpose:
ltl2ldba