/usr/lib64/libpicosat.so libc.so.6
/usr/bin/picogcnf libpicosat.so,libc.so.6
/usr/bin/picosat libpicosat.so,libc.so.6
/usr/bin/picomcs libpicosat.so,libc.so.6
/usr/bin/picomus libpicosat.so,libc.so.6
