package info
(click to toggle)
Folder: 2.6+ds-3
 |
.. (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-- | 7,584 | Makefile |
|
- | rw-r--r-- | 625 | Makefile.services |
|
- | rw-r--r-- | 5,464 | Makefile.vars |
|
- | rw-r--r-- | 7,484 | README.md |
|
- | rw-r--r-- | 2,660 | README.server |
|
- | rwxr-xr-x | 4,066 | configure |