ltl2ba

Fast translation from LTL formulas to Buchi automata

Fedora
RUN dnf install -y ltl2ba
click the source code to copy install ltl2ba on any operating system with command-not-found.com