lbt2dot

converts from LTL formulas to Büchi automata

Debian Debian
RUN apt-get update && \ apt-get install -y lbt
Ubuntu
RUN apt-get update && \ apt-get install -y lbt
image/svg+xml Kali Linux
RUN apt-get update && \ apt-get install -y lbt
Raspbian
RUN apt-get update && \ apt-get install -y lbt
click the source code to copy install lbt2dot on any operating system with command-not-found.com