package info
(click to toggle)
spass 3.7-2
- links: PTS
- area: main
- in suites: squeeze
- size: 5,500 kB
- ctags: 5,981
- sloc: ansic: 50,634; yacc: 3,038; sh: 1,072; lex: 430; perl: 407; makefile: 394
Folder: examples
 |
.. (parent) | |||
 |
- | rw-r--r-- | 669 | problem54.dfg |