dockerfile.run – dfa2dot

dfa2dot

theorem prover based on automata

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y mona

Raspbian

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

click the source code to copy install dfa2dot on any operating system with command-not-found.com