Files
| -rwxr-xr-x | 15712 | root | root | /usr/bin/picomus |
| -rwxr-xr-x | 24152 | root | root | /usr/bin/picosat |
| -rwxr-xr-x | 24160 | root | root | /usr/bin/picosat.trace |
| -rw-r--r-- | 924 | root | root | /usr/share/man/man1/picomus.1.xz |
| -rw-r--r-- | 2184 | root | root | /usr/share/man/man1/picosat.1.xz |
| -rw-r--r-- | 72 | root | root | /usr/share/man/man1/picosat.trace.1.xz |
