dockerfile.run – cudf2lp

cudf2lp

CUDF solver based on Answer Set Programming

Debian

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

Ubuntu

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

Alpine

RUN apk add aspcud

Arch Linux

RUN pacman -S --noconfirm aspcud

Kali Linux

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

Raspbian

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

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