lbt
converts from LTL formulas to Büchi automata
RUN apt-get update && \
apt-get install -y lbt
RUN apt-get update && \
apt-get install -y lbt
RUN apt-get update && \
apt-get install -y lbt
RUN apt-get update && \
apt-get install -y lbt