dockerfile.run – lbt2dot

lbt2dot

converts from LTL formulas to Büchi automata

Debian

RUN apt-get update && \
    apt-get install -y lbt

Ubuntu

RUN apt-get update && \
    apt-get install -y lbt

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