Files
| -rwxr-xr-x | 81184 | root | root | /usr/bin/minisat |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/minisat2-2.0 |
| -rw-r--r-- | 1089 | root | root | /usr/share/doc/minisat2-2.0/LICENSE |
| -rw-r--r-- | 8263 | root | root | /usr/share/doc/minisat2-2.0/minisat-user-guide.html |
| -rw-r--r-- | 67 | root | root | /usr/share/doc/minisat2-2.0/minisat2-test.in |
| -rw-r--r-- | 17 | root | root | /usr/share/doc/minisat2-2.0/minisat2-test.out |
