package info (click to toggle)
eprover 2.6%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 21,288 kB
  • sloc: ansic: 331,111; csh: 12,026; python: 10,178; awk: 5,825; makefile: 461; sh: 389

Folder: PROVER

d .. (parent)
- - rw-r--r-- 1,308 ALL_RULES.lop
- - rw-r--r-- 1,552 BOO001-1%2Brm_eq_rstfp.lop
- - rw-r--r-- 1,149 BatchSampleLTBHOL.txt
- - rw-r--r-- 2,554 COL003-1%2Brm_eq_rstfp.lop
- - rw-r--r-- 634 GROUP.lop
- - rw-r--r-- 338 GRP001-1_natural.lop
- - rw-r--r-- 303 HUMBLE.lop
- - rw-r--r-- 465 INVCOM.lop
- - rw-r--r-- 378 LAT3a.lop
- - rw-r--r-- 495 LAT4.lop
- - rw-r--r-- 1,465 LUSK3.lop
- - rw-r--r-- 1,183 LUSK6.lop
- - rw-r--r-- 1,212 LUSK6ext.lop
- - rw-r--r-- 2,272 MSC006-1.lop
- - rw-r--r-- 1,295 Makefile
- - rw-r--r-- 20,356 NUM030-1%2Brm_eq_rstfp.lop
- - rw-r--r-- 3,886 PLA002-2%2Brm_eq_rstfp.lop
- - rw-r--r-- 4,399 PUZ031-1%2Brm_eq_rstfp.lop
- - rw-r--r-- 3,168 RNG019-6%2Brm_eq_rstfp.tptp
- - rw-r--r-- 11,632 SET103-6%2Brm_eq_rstfp.lop
- - rw-r--r-- 2,787 SET366%2B4%2Brm_eq_rstfp.tptp
- - rw-r--r-- 9,395 checkproof.c
- - rw-r--r-- 36,946 classify_problem.c
- - rw-r--r-- 6,741 direct_examples.c
- - rw-r--r-- 28,432 e_axfilter.c
- - rw-r--r-- 9,133 e_client.c
- - rw-r--r-- 8,645 e_deduction_server.c
- - rw-r--r-- 61 e_gitcommit.h
- - rw-r--r-- 10,550 e_ltb_runner.c
- - rw-r--r-- 54,494 e_options.h
- - rw-r--r-- 12,917 e_server.c
- - rw-r--r-- 5,403 e_stratpar.c
- - rw-r--r-- 3,074 e_version.h
- - rw-r--r-- 11,267 edpll.c
- - rw-r--r-- 26,549 eground.c
- - rw-r--r-- 6,937 ekb_create.c
- - rw-r--r-- 6,804 ekb_delete.c
- - rw-r--r-- 10,001 ekb_ginsert.c
- - rw-r--r-- 8,283 ekb_insert.c
- - rw-r--r-- 22,644 enormalizer.c
- - rw-r--r-- 27,964 epatternize.c
- - rw-r--r-- 6,886 epclanalyse.c
- - rw-r--r-- 9,042 epclextract.c
- - rw-r--r-- 20,292 epcllemma.c
- - rw-r--r-- 61,385 eprover.c
- - rw-r--r-- 5,706 termprops.c
- - rw-r--r-- 9,157 tsm_classify.c