dockerfile.run

sat4j

Efficient library of SAT solvers in Java

Debian

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

Ubuntu

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

Kali Linux

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

CentOS

RUN yum install -y sat4j

Fedora

RUN dnf install -y sat4j

Raspbian

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

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