clasp
conflict-driven nogood learning answer set solver
RUN apt-get update && \
apt-get install -y clasp
RUN apt-get update && \
apt-get install -y clasp
RUN apk add clasp
RUN pacman -S --noconfirm clasp
RUN apt-get update && \
apt-get install -y clasp
RUN apt-get update && \
apt-get install -y clasp