package info (click to toggle)
ladr 0.0.200806a-1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 10,228 kB
  • ctags: 6,977
  • sloc: ansic: 57,466; perl: 1,006; python: 576; sh: 442; makefile: 393; 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-- 80,143 TAGS
- - rw-r--r-- 10,474 actions.c
- - rw-r--r-- 1,360 actions.h
- - rw-r--r-- 6,032 autosketches4.c
- - rw-r--r-- 3,183 b1.prf
- - rw-r--r-- 4,385 demodulate.c
- - rw-r--r-- 1,626 demodulate.h
- - 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-- 3,472 forward_subsume.c
- - rw-r--r-- 1,312 forward_subsume.h
- - rw-r--r-- 16,142 giv_select.c
- - rw-r--r-- 1,590 giv_select.h
- - rw-r--r-- 1,560 giv_select.h.bak
- - rw-r--r-- 5,024 index_lits.c
- - rw-r--r-- 1,509 index_lits.h
- - rw-r--r-- 3,244 iterate4.c
- - rw-r--r-- 3,190 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-- 1,595 mystery.inA
- - rw-r--r-- 1,613 mystery.inB
- - rw-r--r-- 9,511 newauto.c
- - rw-r--r-- 11,677 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-- 2,083 prover9.c
- - rw-r--r-- 9,950 provers.c
- - rw-r--r-- 1,142 provers.h
- - rw-r--r-- 34 pub
- - rw-r--r-- 6,147 search-structures.h
- - rw-r--r-- 91,511 search.c
- - rw-r--r-- 1,776 search.h
- - rw-r--r-- 5,706 semantics.c
- - rw-r--r-- 1,276 semantics.h
- - rwxr-xr-x 116 t1.py
- - rw-r--r-- 10 t1.str
- - rw-r--r-- 2,798 tptp_to_ladr.c
- - rw-r--r-- 8,707 unfold.c
- - rw-r--r-- 1,231 unfold.h
- - rw-r--r-- 20,837 utilities.c
- - rw-r--r-- 1,850 utilities.h
- - rw-r--r-- 3,973 white_black.c
- - rw-r--r-- 1,186 white_black.h