package info
(click to toggle)
picosat 632-1
- links: PTS
- area: main
- in suites: lenny
- size: 168 kB
- ctags: 458
- sloc: ansic: 4,701; sh: 112; makefile: 66
Folder: 632-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 136 | debian |
 |
- | rw-r--r-- | 1,093 | LICENSE |
|
- | rw-r--r-- | 67 | README |
|
- | rw-r--r-- | 15,403 | app.c |
|
- | rwxr-xr-x | 1,768 | configure |
|
- | rw-r--r-- | 107 | main.c |
|
- | rw-r--r-- | 554 | makefile.in |
|
- | rwxr-xr-x | 269 | mkconfig |
|
- | rw-r--r-- | 88,761 | picosat.c |
|
- | rw-r--r-- | 7,988 | picosat.h |