picosat

SAT solver with proof and core support

Debian Debian
RUN apt-get update && \ apt-get install -y picosat
Ubuntu
RUN apt-get update && \ apt-get install -y picosat
image/svg+xml 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 picosat on any operating system with command-not-found.com