Package picosat: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rwxr-xr-x | /usr/bin/picogcnf | 10.1 KB | Jul 12, 2020, 03:02 PM |
-rwxr-xr-x | /usr/bin/picomcs | 14.1 KB | Jul 12, 2020, 03:02 PM |
-rwxr-xr-x | /usr/bin/picomus | 18.1 KB | Jul 12, 2020, 03:02 PM |
-rwxr-xr-x | /usr/bin/picosat | 26.1 KB | Jul 12, 2020, 03:02 PM |
drwxr-xr-x | /usr/share/doc/picosat-965 | - | Jul 12, 2020, 03:02 PM |
-rw-r--r-- | /usr/share/doc/picosat-965/NEWS | 4.6 KB | Jul 12, 2020, 03:02 PM |
-rw-r--r-- | /usr/share/doc/picosat-965/README | 187.0 B | Jul 12, 2020, 03:02 PM |