dockerfile.run – iclingo

iclingo

grounding tools for (disjunctive) logic programs

Debian

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

Ubuntu

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

Alpine

RUN apk add gringo

Kali Linux

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

Raspbian

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

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