Online application for rewriting LTL formula or translating them into automata.
Docker file for SyntComp'25