Package: picosat

"picosat" package binaries on CentOS:

/usr/bin/picogcnf /usr/bin/picomcs /usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace

You may install this package on CentOS with yum install picosat

"picosat" package binaries on Debian:

/usr/bin/picomus /usr/bin/picosat /usr/bin/picosat.trace

You may install this package on Debian with apt-get install picosat