package info (click to toggle)
ladr 0.0.200902a-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 11,400 kB
  • ctags: 7,168
  • sloc: ansic: 59,953; perl: 1,006; python: 620; makefile: 403; sh: 86; csh: 58; modula3: 13

Folder: provers.src

d .. (parent)
d d rwxr-xr-x 4,096 autosketches.examples
d d rwxr-xr-x 4,096 save
d l rwxrwxrwx 12 util → ../ladr/util
- - rw-r--r-- 358 .gdb_history
- - rw-r--r-- 4,562 Makefile
- - rw-r--r-- 238 README.actions
- - rw-r--r-- 226 README.doc
- - rw-r--r-- 747 README.new-sos-limit
- - rw-r--r-- 2,635 README.parts
- - rw-r--r-- 712 README.process
- - rw-r--r-- 1,647 README.sos
- - rw-r--r-- 104 README.symbol_order
- - rw-r--r-- 195 README.white-black
- - rw-r--r-- 926 README.wired-in
- - rw-r--r-- 84,260 TAGS
- - rw-r--r-- 10,474 actions.c
- - rw-r--r-- 1,360 actions.h
- - rw-r--r-- 1,360 actions.h.bak
- - rw-r--r-- 6,039 autosketches4.c
- - rw-r--r-- 3,183 b1.prf
- - rw-r--r-- 4,552 demodulate.c
- - rw-r--r-- 1,630 demodulate.h
- - rw-r--r-- 1,630 demodulate.h.bak
- - rw-r--r-- 2,401 fof-prover9.c
- - rw-r--r-- 7,657 foffer.c
- - rw-r--r-- 1,029 foffer.h
- - rw-r--r-- 1,029 foffer.h.bak
- - rw-r--r-- 3,472 forward_subsume.c
- - rw-r--r-- 1,312 forward_subsume.h
- - rw-r--r-- 1,312 forward_subsume.h.bak
- - rw-r--r-- 16,656 giv_select.c
- - rw-r--r-- 1,590 giv_select.h
- - rw-r--r-- 1,590 giv_select.h.bak
- - rw-r--r-- 5,024 index_lits.c
- - rw-r--r-- 1,509 index_lits.h
- - rw-r--r-- 1,509 index_lits.h.bak
- - rw-r--r-- 3,244 iterate4.c
- - rw-r--r-- 3,322 ladr_to_tptp.c
- - rw-r--r-- 7,288 meta
- - rw-r--r-- 6,646 meta2
- - rw-r--r-- 3,405 mprover.c
- - rw-r--r-- 9,517 newauto.c
- - rw-r--r-- 11,684 newsax.c
- - rwxr-xr-x 100 options
- - rw-r--r-- 6,604 pred_elim.c
- - rw-r--r-- 1,204 pred_elim.h
- - rw-r--r-- 1,204 pred_elim.h.bak
- - rw-r--r-- 2,083 prover9.c
- - rwxr-xr-x 388,664 prover9.save
- - rw-r--r-- 10,008 provers.c
- - rw-r--r-- 1,142 provers.h
- - rw-r--r-- 1,142 provers.h.bak
- - rw-r--r-- 34 pub
- - rw-r--r-- 6,201 search-structures.h
- - rw-r--r-- 93,183 search.c
- - rw-r--r-- 1,776 search.h
- - rw-r--r-- 1,776 search.h.bak
- - rw-r--r-- 5,697 semantics.c
- - rw-r--r-- 1,269 semantics.h
- - rw-r--r-- 1,269 semantics.h.bak
- - rw-r--r-- 10 t1.str
- - rw-r--r-- 240 test.p
- - rw-r--r-- 4,570 tptp_to_ladr.c
- - rw-r--r-- 2,798 tptp_to_ladr.c.save
- - rw-r--r-- 8,707 unfold.c
- - rw-r--r-- 1,231 unfold.h
- - rw-r--r-- 1,231 unfold.h.bak
- - rw-r--r-- 20,845 utilities.c
- - rw-r--r-- 1,850 utilities.h
- - rw-r--r-- 1,850 utilities.h.bak
- - rw-r--r-- 4,660 white_black.c
- - rw-r--r-- 1,186 white_black.h
- - rw-r--r-- 1,186 white_black.h.bak