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