clasp

conflict-driven nogood learning answer set solver

Debian 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 Arch Linux
RUN pacman -S --noconfirm clasp
image/svg+xml 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