dockerfile.run

clasp

conflict-driven nogood learning answer set solver

Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Homepage: https://www.potassco.org/clasp/
Section: interpreters

Debian

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

Ubuntu

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

Alpine

RUN apk add clasp

Arch Linux

RUN pacman -S --noconfirm clasp

Kali Linux

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

Raspbian

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

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