package info
(click to toggle)
Folder: 5.11.21+dfsg1-2
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | cmake |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 30 | dist |
|
d | rwxr-xr-x | 30 | docs |
|
d | rwxr-xr-x | 78 | python |
|
d | rwxr-xr-x | 4,096 | scripts |
|
d | rwxr-xr-x | 8,192 | src |
|
d | rwxr-xr-x | 4,096 | tests |
|
d | rwxr-xr-x | 4,096 | utils |
 |
- | rw-r--r-- | 2,925 | .clang-format |
|
- | rw-r--r-- | 320 | .dockerignore |
|
- | rw-r--r-- | 305 | .gitignore |
|
- | rw-r--r-- | 1,356 | .gitmodules |
|
- | rw-r--r-- | 914 | AUTHORS |
|
- | rw-r--r-- | 29,237 | CMakeLists.txt |
|
- | rw-r--r-- | 1,467 | Dockerfile |
|
- | rw-r--r-- | 2,473 | LICENSE.txt |
|
- | rw-r--r-- | 202 | MANIFEST.in |
|
- | rw-r--r-- | 14,712 | README.markdown |
|
- | rw-r--r-- | 16,964 | cmsat_tablestructure.sql |
|
- | rw-r--r-- | 993 | cryptominisat5Config.cmake.in |
|
- | rw-r--r-- | 448 | manpage-extras |
|
- | rw-r--r-- | 814 | pyproject.toml |
|
- | rw-r--r-- | 139 | setup.cfg |
|
- | rw-r--r-- | 4,372 | setup.py |
|
- | rw-r--r-- | 565 | sonar-project.properties |