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

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Apr 14 00:08:20 2025