package info
(click to toggle)
Folder: 5.8.0+dfsg1-1
 |
.. (parent) | |||
|
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 | 102 | docs |
|
d | rwxr-xr-x | 4,096 | 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 |
|
d | rwxr-xr-x | 4,096 | web |
 |
- | rw-r--r-- | 2,928 | .clang-format |
|
- | rw-r--r-- | 320 | .dockerignore |
|
- | rw-r--r-- | 300 | .gitignore |
|
- | rw-r--r-- | 1,557 | .gitmodules |
|
- | rw-r--r-- | 4,757 | .travis.yml |
|
- | rw-r--r-- | 338 | AUTHORS |
|
- | rw-r--r-- | 33,429 | CMakeLists.txt |
|
- | rw-r--r-- | 1,684 | Dockerfile |
|
- | rw-r--r-- | 1,458 | Dockerfile.web |
|
- | rw-r--r-- | 2,452 | LICENSE.txt |
|
- | rw-r--r-- | 18,667 | README.markdown |
|
- | rw-r--r-- | 4,560 | appveyor.yml |
|
- | rw-r--r-- | 15,587 | cmsat_tablestructure.sql |
|
- | rw-r--r-- | 993 | cryptominisat5Config.cmake.in |
|
- | rw-r--r-- | 448 | manpage-extras |
|
- | rw-r--r-- | 565 | sonar-project.properties |