package info (click to toggle)
spass 3.9-1.1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 3,632 kB
  • sloc: ansic: 59,216; yacc: 1,574; lex: 300; pascal: 158; makefile: 148; sh: 7

Folder: 3.9-1.1

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 1,535 LICENCE
- - rw-r--r-- 36,578 analyze.c
- - rw-r--r-- 6,993 analyze.h
- - rw-r--r-- 39,246 approx.c
- - rw-r--r-- 2,796 approx.h
- - rw-r--r-- 15,075 array.c
- - rw-r--r-- 4,106 array.h
- - rw-r--r-- 2,606 cl.h
- - rw-r--r-- 236,522 clause.c
- - rw-r--r-- 27,096 clause.h
- - rw-r--r-- 6,828 clock.c
- - rw-r--r-- 3,058 clock.h
- - rw-r--r-- 13,496 closure.c
- - rw-r--r-- 2,841 closure.h
- - rw-r--r-- 13,317 cmdline.c
- - rw-r--r-- 3,273 cmdline.h
- - rw-r--r-- 178,384 cnf.c
- - rw-r--r-- 4,212 cnf.h
- - rw-r--r-- 9,885 component.c
- - rw-r--r-- 4,370 component.h
- - rw-r--r-- 3,558 condensing.c
- - rw-r--r-- 2,804 condensing.h
- - rw-r--r-- 45,135 context.c
- - rw-r--r-- 13,547 context.h
- - rw-r--r-- 47,842 defs.c
- - rw-r--r-- 5,737 defs.h
- - rw-r--r-- 7,029 description.c
- - rw-r--r-- 2,631 description.h
- - rw-r--r-- 4,101 dfg.h
- - rw-r--r-- 7,226 dfg2ascii.c
- - rw-r--r-- 9,167 dfg2dfg.c
- - rw-r--r-- 9,118 dfg2dimacs.c
- - rw-r--r-- 8,678 dfg2otter.c
- - rw-r--r-- 15,178 dfg2tptp.c
- - rw-r--r-- 3,309 dfg_diagnostic.c
- - rw-r--r-- 2,844 dfg_diagnostic.h
- - rw-r--r-- 2,600 dfg_pos.h
- - rw-r--r-- 5,436 dfg_string_table.c
- - rw-r--r-- 3,230 dfg_string_table.h
- - rw-r--r-- 2,694 dfg_token.c
- - rw-r--r-- 3,053 dfg_token.h
- - rw-r--r-- 3,051 dfg_util.h
- - rw-r--r-- 10,066 dfglexer.c
- - rw-r--r-- 2,932 dfglexer.h
- - rw-r--r-- 159,301 dfgparser.c
- - rw-r--r-- 3,294 dfgparser.h
- - rw-r--r-- 7,818 dimacs2dfg.c
- - rw-r--r-- 5,326 dimparser.c
- - rw-r--r-- 2,102 dimparser.h
- - rw-r--r-- 10,257 doc-proof.c
- - rw-r--r-- 3,506 doc-proof.h
- - rw-r--r-- 112,216 eml.c
- - rw-r--r-- 6,077 eml.h
- - rw-r--r-- 61,507 flags.c
- - rw-r--r-- 39,802 flags.h
- - rw-r--r-- 83,429 foldfg.c
- - rw-r--r-- 6,781 foldfg.h
- - rw-r--r-- 2,444 gettimeofday.h
- - rw-r--r-- 12,375 graph.c
- - rw-r--r-- 3,804 graph.h
- - rw-r--r-- 4,905 hash.c
- - rw-r--r-- 3,666 hash.h
- - rw-r--r-- 11,558 hasharray.c
- - rw-r--r-- 4,162 hasharray.h
- - rw-r--r-- 22,409 hashmap.c
- - rw-r--r-- 4,826 hashmap.h
- - rw-r--r-- 2,545 ia.h
- - rw-r--r-- 16,425 iaparser.y
- - rw-r--r-- 4,427 iascanner.l
- - rw-r--r-- 26,311 kbo.c
- - rw-r--r-- 3,082 kbo.h
- - rw-r--r-- 55,171 list.c
- - rw-r--r-- 8,339 list.h
- - rw-r--r-- 12,932 makefile
- - rw-r--r-- 63,755 memory.c
- - rw-r--r-- 9,090 memory.h
- - rw-r--r-- 10,912 misc.c
- - rw-r--r-- 4,682 misc.h
- - rw-r--r-- 54,419 order.c
- - rw-r--r-- 5,195 order.h
- - rw-r--r-- 9,493 partition.c
- - rw-r--r-- 4,786 partition.h
- - rw-r--r-- 9,235 pgen.c
- - rw-r--r-- 2,497 pro.h
- - rw-r--r-- 4,584 prolog2dfg.c
- - rw-r--r-- 47,412 proofcheck.c
- - rw-r--r-- 3,124 proofcheck.h
- - rw-r--r-- 10,997 proparser.y
- - rw-r--r-- 4,250 proscanner.l
- - rw-r--r-- 8,297 ras.c
- - rw-r--r-- 4,108 ras.h
- - rw-r--r-- 54,256 renaming.c
- - rw-r--r-- 4,442 renaming.h
- - rw-r--r-- 12,017 rescmp.c
- - rw-r--r-- 6,029 resolution.c
- - rw-r--r-- 3,232 resolution.h
- - rw-r--r-- 26,576 rpos.c
- - rw-r--r-- 3,077 rpos.h
- - rw-r--r-- 228,205 rules-inf.c
- - rw-r--r-- 4,463 rules-inf.h
- - rw-r--r-- 301,987 rules-red.c
- - rw-r--r-- 4,173 rules-red.h
- - rw-r--r-- 59,291 rules-sort.c
- - rw-r--r-- 3,636 rules-sort.h
- - rw-r--r-- 26,438 rules-split.c
- - rw-r--r-- 3,136 rules-split.h
- - rw-r--r-- 14,618 rules-ur.c
- - rw-r--r-- 2,493 rules-ur.h
- - rw-r--r-- 62,962 search.c
- - rw-r--r-- 13,594 search.h
- - rw-r--r-- 38,435 sharing.c
- - rw-r--r-- 7,036 sharing.h
- - rw-r--r-- 55,649 sort.c
- - rw-r--r-- 9,055 sort.h
- - rw-r--r-- 48,731 st.c
- - rw-r--r-- 6,679 st.h
- - rw-r--r-- 3,617 stack.c
- - rw-r--r-- 3,756 stack.h
- - rw-r--r-- 13,124 strings.c
- - rw-r--r-- 3,437 strings.h
- - rw-r--r-- 21,361 subst.c
- - rw-r--r-- 6,526 subst.h
- - rw-r--r-- 56,824 subsumption.c
- - rw-r--r-- 3,362 subsumption.h
- - rw-r--r-- 59,985 symbol.c
- - rw-r--r-- 13,512 symbol.h
- - rw-r--r-- 15,572 table.c
- - rw-r--r-- 4,427 table.h
- - rw-r--r-- 39,044 tableau.c
- - rw-r--r-- 5,273 tableau.h
- - rw-r--r-- 81,108 term.c
- - rw-r--r-- 10,225 term.h
- - rw-r--r-- 12,752 terminator.c
- - rw-r--r-- 2,541 terminator.h
- - rw-r--r-- 4,703 tokens.inc
- - rw-r--r-- 76,138 top.c
- - rw-r--r-- 3,540 tptp.h
- - rw-r--r-- 13,415 tptp2dfg.c
- - rw-r--r-- 46,834 tptpparser.y
- - rw-r--r-- 6,910 tptpscanner.l
- - rw-r--r-- 26,581 unify.c
- - rw-r--r-- 5,260 unify.h
- - rw-r--r-- 6,242 vector.c
- - rw-r--r-- 3,732 vector.h
- - rw-r--r-- 2,849 version.h