Fedora 40 updates for aarch64 : / usr /src /debug /E-3.1.0-1.fc40.aarch64 /CLAUSES

• ccl_bce.c
• ccl_clausecpos.c
• ccl_clausecpos.h
• ccl_clausefunc.c
• ccl_clausefunc.h
• ccl_clauseinfo.c
• ccl_clauseinfo.h
• ccl_clausepos.c
• ccl_clausepos.h
• ccl_clausepos_tree.c
• ccl_clausepos_tree.h
• ccl_clauses.c
• ccl_clauses.h
• ccl_clausesets.c
• ccl_clausesets.h
• ccl_condensation.c
• ccl_condensation.h
• ccl_context_sr.c
• ccl_def_handling.c
• ccl_def_handling.h
• ccl_derivation.c
• ccl_derivation.h
• ccl_diseq_decomp.c
• ccl_eqn.c
• ccl_eqn.h
• ccl_eqnlist.c
• ccl_eqnlist.h
• ccl_eqnresolution.c
• ccl_eqnresolution.h
• ccl_ext_index.c
• ccl_ext_index.h
• ccl_f_generality.c
• ccl_f_generality.h
• ccl_factor.c
• ccl_fcvindexing.c
• ccl_fcvindexing.h
• ccl_findex.c
• ccl_findex.h
• ccl_formula_wrapper.c
• ccl_formula_wrapper.h
• ccl_formulafunc.c
• ccl_formulafunc.h
• ccl_formulasets.c
• ccl_formulasets.h
• ccl_freqvectors.c
• ccl_freqvectors.h
• ccl_garbage_coll.c
• ccl_global_indices.c
• ccl_global_indices.h
• ccl_groundconstr.c
• ccl_groundconstr.h
• ccl_grounding.c
• ccl_grounding.h
• ccl_inferencedoc.c
• ccl_inferencedoc.h
• ccl_neweval.c
• ccl_neweval.h
• ccl_overlap_index.c
• ccl_overlap_index.h
• ccl_paramod.c
• ccl_paramod.h
• ccl_pdtrees.c
• ccl_pdtrees.h
• ccl_pred_elim.c
• ccl_proofstate.c
• ccl_proofstate.h
• ccl_propclauses.c
• ccl_propclauses.h
• ccl_relevance.c
• ccl_relevance.h
• ccl_rewrite.c
• ccl_rewrite.h
• ccl_satinterface.c
• ccl_satinterface.h
• ccl_sine.c
• ccl_sine.h
• ccl_splitting.c
• ccl_splitting.h
• ccl_subsumption.c
• ccl_subsumption.h
• ccl_subterm_index.c
• ccl_subterm_index.h
• ccl_subterm_tree.c
• ccl_subterm_tree.h
• ccl_tautologies.c
• ccl_tcnf.c
• ccl_tformulae.c
• ccl_tformulae.h
• ccl_unfold_defs.c
• ccl_unit_simplify.c
• ccl_unit_simplify.h

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Nov 15 06:15:53 2024