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: CLAUSES

d .. (parent)
- - rw-r--r-- 1,825 Makefile
- - rw-r--r-- 4,696 ccl_axiomsorter.c
- - rw-r--r-- 2,047 ccl_axiomsorter.h
- - rw-r--r-- 19,240 ccl_bce.c
- - rw-r--r-- 824 ccl_bce.h
- - rw-r--r-- 8,181 ccl_clausecpos.c
- - rw-r--r-- 1,980 ccl_clausecpos.h
- - rw-r--r-- 29,259 ccl_clausefunc.c
- - rw-r--r-- 2,514 ccl_clausefunc.h
- - rw-r--r-- 7,273 ccl_clauseinfo.c
- - rw-r--r-- 2,541 ccl_clauseinfo.h
- - rw-r--r-- 8,093 ccl_clausepos.c
- - rw-r--r-- 6,117 ccl_clausepos.h
- - rw-r--r-- 7,165 ccl_clausepos_tree.c
- - rw-r--r-- 2,408 ccl_clausepos_tree.h
- - rw-r--r-- 67,382 ccl_clauses.c
- - rw-r--r-- 20,926 ccl_clauses.h
- - rw-r--r-- 59,598 ccl_clausesets.c
- - rw-r--r-- 8,211 ccl_clausesets.h
- - rw-r--r-- 1,411 ccl_clausetrees.h
- - rw-r--r-- 4,853 ccl_condensation.c
- - rw-r--r-- 1,537 ccl_condensation.h
- - rw-r--r-- 4,365 ccl_context_sr.c
- - rw-r--r-- 1,667 ccl_context_sr.h
- - rw-r--r-- 9,354 ccl_def_handling.c
- - rw-r--r-- 2,540 ccl_def_handling.h
- - rw-r--r-- 64,536 ccl_derivation.c
- - rw-r--r-- 10,729 ccl_derivation.h
- - rw-r--r-- 3,075 ccl_diseq_decomp.c
- - rw-r--r-- 1,564 ccl_diseq_decomp.h
- - rw-r--r-- 90,183 ccl_eqn.c
- - rw-r--r-- 20,121 ccl_eqn.h
- - rw-r--r-- 46,509 ccl_eqnlist.c
- - rw-r--r-- 5,964 ccl_eqnlist.h
- - rw-r--r-- 5,519 ccl_eqnresolution.c
- - rw-r--r-- 1,663 ccl_eqnresolution.h
- - rw-r--r-- 11,079 ccl_ext_index.c
- - rw-r--r-- 1,807 ccl_ext_index.h
- - rw-r--r-- 18,216 ccl_f_generality.c
- - rw-r--r-- 4,631 ccl_f_generality.h
- - rw-r--r-- 11,693 ccl_factor.c
- - rw-r--r-- 2,107 ccl_factor.h
- - rw-r--r-- 13,701 ccl_fcvindexing.c
- - rw-r--r-- 3,471 ccl_fcvindexing.h
- - rw-r--r-- 9,003 ccl_findex.c
- - rw-r--r-- 2,282 ccl_findex.h
- - rw-r--r-- 25,730 ccl_formula_wrapper.c
- - rw-r--r-- 4,356 ccl_formula_wrapper.h
- - rw-r--r-- 88,983 ccl_formulafunc.c
- - rw-r--r-- 5,203 ccl_formulafunc.h
- - rw-r--r-- 16,485 ccl_formulasets.c
- - rw-r--r-- 3,609 ccl_formulasets.h
- - rw-r--r-- 27,733 ccl_freqvectors.c
- - rw-r--r-- 7,842 ccl_freqvectors.h
- - rw-r--r-- 6,614 ccl_g_lithash.c
- - rw-r--r-- 2,948 ccl_g_lithash.h
- - rw-r--r-- 2,659 ccl_garbage_coll.c
- - rw-r--r-- 1,502 ccl_garbage_coll.h
- - rw-r--r-- 10,041 ccl_global_indices.c
- - rw-r--r-- 3,451 ccl_global_indices.h
- - rw-r--r-- 12,192 ccl_groundconstr.c
- - rw-r--r-- 3,237 ccl_groundconstr.h
- - rw-r--r-- 28,693 ccl_grounding.c
- - rw-r--r-- 5,559 ccl_grounding.h
- - rw-r--r-- 49,993 ccl_inferencedoc.c
- - rw-r--r-- 7,387 ccl_inferencedoc.h
- - rw-r--r-- 15,207 ccl_neweval.c
- - rw-r--r-- 4,274 ccl_neweval.h
- - rw-r--r-- 23,571 ccl_overlap_index.c
- - rw-r--r-- 3,166 ccl_overlap_index.h
- - rw-r--r-- 41,446 ccl_paramod.c
- - rw-r--r-- 4,823 ccl_paramod.h
- - rw-r--r-- 43,200 ccl_pdtrees.c
- - rw-r--r-- 8,164 ccl_pdtrees.h
- - rw-r--r-- 43,860 ccl_pred_elim.c
- - rw-r--r-- 1,174 ccl_pred_elim.h
- - rw-r--r-- 30,529 ccl_proofstate.c
- - rw-r--r-- 7,776 ccl_proofstate.h
- - rw-r--r-- 8,831 ccl_propclauses.c
- - rw-r--r-- 3,397 ccl_propclauses.h
- - rw-r--r-- 13,366 ccl_relevance.c
- - rw-r--r-- 2,431 ccl_relevance.h
- - rw-r--r-- 44,117 ccl_rewrite.c
- - rw-r--r-- 3,249 ccl_rewrite.h
- - rw-r--r-- 29,991 ccl_satinterface.c
- - rw-r--r-- 4,875 ccl_satinterface.h
- - rw-r--r-- 29,428 ccl_sine.c
- - rw-r--r-- 6,339 ccl_sine.h
- - rw-r--r-- 18,220 ccl_splitting.c
- - rw-r--r-- 3,080 ccl_splitting.h
- - rw-r--r-- 45,248 ccl_subsumption.c
- - rw-r--r-- 3,642 ccl_subsumption.h
- - rw-r--r-- 9,037 ccl_subterm_index.c
- - rw-r--r-- 2,115 ccl_subterm_index.h
- - rw-r--r-- 12,898 ccl_subterm_tree.c
- - rw-r--r-- 3,416 ccl_subterm_tree.h
- - rw-r--r-- 10,282 ccl_tautologies.c
- - rw-r--r-- 1,627 ccl_tautologies.h
- - rw-r--r-- 88,308 ccl_tcnf.c
- - rw-r--r-- 2,977 ccl_tcnf.h
- - rw-r--r-- 74,209 ccl_tformulae.c
- - rw-r--r-- 5,699 ccl_tformulae.h
- - rw-r--r-- 11,799 ccl_unfold_defs.c
- - rw-r--r-- 2,864 ccl_unfold_defs.h
- - rw-r--r-- 8,229 ccl_unit_simplify.c
- - rw-r--r-- 2,249 ccl_unit_simplify.h