package info
(click to toggle)
Folder: 3.2.5+ds-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | BASICS |
|
d | rwxr-xr-x | 4,096 | CLAUSES |
|
d | rwxr-xr-x | 29 | CONTRIB |
|
d | rwxr-xr-x | 4,096 | CONTROL |
|
d | rwxr-xr-x | 4,096 | DOC |
|
d | rwxr-xr-x | 78 | EXAMPLE_PROBLEMS |
|
d | rwxr-xr-x | 139 | EXTERNAL |
|
d | rwxr-xr-x | 4,096 | HEURISTICS |
|
d | rwxr-xr-x | 4,096 | INOUT |
|
d | rwxr-xr-x | 4,096 | LEARN |
|
d | rwxr-xr-x | 4,096 | ORDERINGS |
|
d | rwxr-xr-x | 4,096 | PCL2 |
|
d | rwxr-xr-x | 4,096 | PROPOSITIONAL |
|
d | rwxr-xr-x | 4,096 | PROVER |
|
d | rwxr-xr-x | 4,096 | PYTHON |
|
d | rwxr-xr-x | 124 | SIMPLE_APPS |
|
d | rwxr-xr-x | 4,096 | SKELETONS |
|
d | rwxr-xr-x | 4,096 | TERMS |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | development_tools |
|
d | rwxr-xr-x | 4,096 | etc |
 |
- | rw-r--r-- | 881 | .gitignore |
|
- | rw-r--r-- | 45,584 | COPYING |
|
- | rw-r--r-- | 8,196 | Makefile |
|
- | rw-r--r-- | 625 | Makefile.services |
|
- | rw-r--r-- | 5,509 | Makefile.vars |
|
- | rw-r--r-- | 7,952 | README.md |
|
- | rw-r--r-- | 2,660 | README.server |
|
- | rwxr-xr-x | 4,317 | configure |