dockerfile.run – picomcs

picomcs

SAT solver with proof and core support

Debian

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

Ubuntu

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

Kali Linux

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

Fedora

RUN dnf install -y picosat

Raspbian

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

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