Binary: picomus

CentOS packages that has this binary:

Package: picosat

/usr/bin/picomus

Debian packages that has this binary:

Package: picosat

/usr/bin/picomus