Fedora 40 testing updates for aarch64 : / usr /src /debug /drat2er-0-0.15.20211228git6dfd668.fc40.aarch64 /src

• backward_file_reader.cc
• clause.cc
• deletion.cc
• drat_trim_interface.cc
• file_helper.cc
• formula.cc
• formula_parser.cc
• forward_file_reader.cc
• instruction_serialization.cc
• lrat_parser.cc
• main.cc
• progress_bar.cc
• proof_reverser.cc
• proof_stat_collector.cc
• proof_step_renamer.cc
• proof_transformer.cc
• rat_clause.cc
• rat_eliminator.cc
• rup_clause.cc
• rup_to_resolution_transformer.cc
• unused_clause_eliminator.cc
• watch.cc

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jun 12 00:35:57 2024