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