![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile.dependencies | 2024-05-01 15:59 | 161K | |
| ccl_eqn.c | 2024-05-01 15:59 | 64K | |
| ccl_clauses.c | 2024-05-01 15:59 | 60K | |
| ccl_tcnf.c | 2024-05-01 15:59 | 50K | |
| ccl_tcnf.c.broken_mi..> | 2024-05-01 15:59 | 50K | |
| ccl_clausesets.c | 2024-05-01 15:59 | 49K | |
| ccl_inferencedoc.c | 2024-05-01 15:59 | 46K | |
| ccl_subsumption.c | 2024-05-01 15:59 | 36K | |
| ccl_rewrite.c | 2024-05-01 15:59 | 35K | |
| ccl_eqnlist.c | 2024-05-01 15:59 | 34K | |
| ccl_paramod.c | 2024-05-01 15:59 | 30K | |
| ccl_freqvectors.c | 2024-05-01 15:59 | 27K | |
| ccl_tformulae.c | 2024-05-01 15:59 | 26K | |
| ccl_grounding.c | 2024-05-01 15:59 | 26K | |
| ccl_formulafunc.c | 2024-05-01 15:59 | 25K | |
| ccl_pdtrees.c | 2024-05-01 15:59 | 24K | |
| ccl_overlap_index.c | 2024-05-01 15:59 | 23K | |
| ccl_sine.c | 2024-05-01 15:59 | 22K | |
| ccl_clauses.h | 2024-05-01 15:59 | 17K | |
| ccl_f_generality.c | 2024-05-01 15:59 | 17K | |
| ccl_splitting.c | 2024-05-01 15:59 | 17K | |
| ccl_proofstate.c | 2024-05-01 15:59 | 16K | |
| ccl_eqn.h | 2024-05-01 15:59 | 15K | |
| ccl_neweval.c | 2024-05-01 15:59 | 15K | |
| ccl_formula_wrapper.c | 2024-05-01 15:59 | 13K | |
| ccl_relevance.c | 2024-05-01 15:59 | 13K | |
| ccl_subterm_tree.c | 2024-05-01 15:59 | 12K | |
| ccl_groundconstr.c | 2024-05-01 15:59 | 11K | |
| ccl_fcvindexing.c | 2024-05-01 15:59 | 11K | |
| ccl_factor.c | 2024-05-01 15:59 | 11K | |
| ccl_clausefunc.c | 2024-05-01 15:59 | 9.7K | |
| ccl_tautologies.c | 2024-05-01 15:59 | 9.5K | |
| ccl_findex.c | 2024-05-01 15:59 | 8.8K | |
| ccl_formulasets.c | 2024-05-01 15:59 | 8.8K | |
| ccl_subterm_index.c | 2024-05-01 15:59 | 8.4K | |
| ccl_unfold_defs.c | 2024-05-01 15:59 | 8.4K | |
| ccl_global_indices.c | 2024-05-01 15:59 | 8.1K | |
| ccl_freqvectors.h | 2024-05-01 15:59 | 7.9K | |
| ccl_propclauses.c | 2024-05-01 15:59 | 7.5K | |
| ccl_unit_simplify.c | 2024-05-01 15:59 | 7.3K | |
| ccl_clausepos_tree.c | 2024-05-01 15:59 | 7.0K | |
| ccl_clausesets.h | 2024-05-01 15:59 | 7.0K | |
| ccl_def_handling.c | 2024-05-01 15:59 | 6.9K | |
| ccl_clausepos.c | 2024-05-01 15:59 | 6.6K | |
| ccl_g_lithash.c | 2024-05-01 15:59 | 6.5K | |
| ccl_clausecpos.c | 2024-05-01 15:59 | 6.1K | |
| ccl_inferencedoc.h | 2024-05-01 15:59 | 6.0K | |
| ccl_pdtrees.h | 2024-05-01 15:59 | 6.0K | |
| ccl_sine.h | 2024-05-01 15:59 | 5.2K | |
| ccl_garbage_coll.c | 2024-05-01 15:59 | 5.2K | |
| ccl_clausepos.h | 2024-05-01 15:59 | 5.1K | |
| ccl_proofstate.h | 2024-05-01 15:59 | 5.0K | |
| ccl_grounding.h | 2024-05-01 15:59 | 4.9K | |
| ccl_axiomsorter.c | 2024-05-01 15:59 | 4.6K | |
| ccl_eqnlist.h | 2024-05-01 15:59 | 4.6K | |
| ccl_clauseinfo.c | 2024-05-01 15:59 | 4.5K | |
| ccl_formula_wrapper.h | 2024-05-01 15:59 | 4.4K | |
| ccl_f_generality.h | 2024-05-01 15:59 | 4.4K | |
| ccl_eqnresolution.c | 2024-05-01 15:59 | 4.2K | |
| ccl_neweval.h | 2024-05-01 15:59 | 4.2K | |
| ccl_context_sr.c | 2024-05-01 15:59 | 4.1K | |
| ccl_tformulae.h | 2024-05-01 15:59 | 3.8K | |
| ccl_paramod.h | 2024-05-01 15:59 | 3.7K | |
| ccl_fcvindexing.h | 2024-05-01 15:59 | 3.3K | |
| ccl_subterm_tree.h | 2024-05-01 15:59 | 3.3K | |
| ccl_overlap_index.h | 2024-05-01 15:59 | 3.1K | |
| ccl_propclauses.h | 2024-05-01 15:59 | 3.0K | |
| ccl_splitting.h | 2024-05-01 15:59 | 3.0K | |
| ccl_groundconstr.h | 2024-05-01 15:59 | 3.0K | |
| ccl_subsumption.h | 2024-05-01 15:59 | 3.0K | |
| ccl_rewrite.h | 2024-05-01 15:59 | 2.9K | |
| ccl_g_lithash.h | 2024-05-01 15:59 | 2.8K | |
| ccl_formulafunc.h | 2024-05-01 15:59 | 2.7K | |
| ccl_formulasets.h | 2024-05-01 15:59 | 2.6K | |
| ccl_global_indices.h | 2024-05-01 15:59 | 2.5K | |
| ccl_tcnf.h | 2024-05-01 15:59 | 2.4K | |
| ccl_clauseinfo.h | 2024-05-01 15:59 | 2.4K | |
| ccl_relevance.h | 2024-05-01 15:59 | 2.4K | |
| ccl_clausepos_tree.h | 2024-05-01 15:59 | 2.4K | |
| ccl_unfold_defs.h | 2024-05-01 15:59 | 2.3K | |
| ccl_def_handling.h | 2024-05-01 15:59 | 2.2K | |
| ccl_findex.h | 2024-05-01 15:59 | 2.2K | |
| ccl_unit_simplify.h | 2024-05-01 15:59 | 2.1K | |
| ccl_garbage_coll.h | 2024-05-01 15:59 | 2.1K | |
| ccl_axiomsorter.h | 2024-05-01 15:59 | 2.0K | |
| ccl_subterm_index.h | 2024-05-01 15:59 | 2.0K | |
| ccl_factor.h | 2024-05-01 15:59 | 1.9K | |
| ccl_clausefunc.h | 2024-05-01 15:59 | 1.9K | |
| ccl_clausecpos.h | 2024-05-01 15:59 | 1.8K | |
| Makefile | 2024-05-01 15:59 | 1.7K | |
| ccl_context_sr.h | 2024-05-01 15:59 | 1.6K | |
| ccl_eqnresolution.h | 2024-05-01 15:59 | 1.6K | |
| ccl_simparamod.h | 2024-05-01 15:59 | 1.6K | |
| ccl_tautologies.h | 2024-05-01 15:59 | 1.5K | |
| ccl_clausetrees.h | 2024-05-01 15:59 | 1.4K | |