dockerfile.run

gringo

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

Arch Linux

RUN pacman -S --noconfirm 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 gringo on any operating system with command-not-found.com