package info (click to toggle)
eprover 3.2.5%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 14,504 kB
  • sloc: ansic: 104,396; csh: 13,135; python: 11,207; awk: 5,825; makefile: 554; sh: 400

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-- 3,803 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,357 checkproof.c
- - rw-r--r-- 37,928 classify_problem.c
- - rw-r--r-- 6,670 direct_examples.c
- - rw-r--r-- 30,398 e_axfilter.c
- - rw-r--r-- 9,054 e_client.c
- - rw-r--r-- 8,454 e_deduction_server.c
- - rw-r--r-- 61 e_gitcommit.h
- - rw-r--r-- 12,204 e_ltb_runner.c
- - rw-r--r-- 62,113 e_options.h
- - rw-r--r-- 12,838 e_server.c
- - rw-r--r-- 5,447 e_stratpar.c
- - rw-r--r-- 3,722 e_version.h
- - rw-r--r-- 11,228 edpll.c
- - rw-r--r-- 26,022 eground.c
- - rw-r--r-- 6,728 ekb_create.c
- - rw-r--r-- 6,759 ekb_delete.c
- - rw-r--r-- 9,962 ekb_ginsert.c
- - rw-r--r-- 8,238 ekb_insert.c
- - rw-r--r-- 22,546 enormalizer.c
- - rw-r--r-- 27,096 epatternize.c
- - rw-r--r-- 6,770 epclanalyse.c
- - rw-r--r-- 9,161 epclextract.c
- - rw-r--r-- 21,199 epcllemma.c
- - rw-r--r-- 78,154 eprover.c
- - rw-r--r-- 5,706 termprops.c
- - rw-r--r-- 9,157 tsm_classify.c