Fedora 40 updates for aarch64 : / usr /share /doc /yices-doc /examples /adria

• ef_ALU_add_sub.ys
• example.efyices
• example_1_implication.smt2
• example_1_implication.ys
• example_1_implication_forall_turned_into_exist.smt2
• example_1_implication_forall_turned_into_exist.ys
• example_2constraints_expected.smt2
• example_2constraints_expected.ys
• example_2constraints_expected2.smt2
• example_2constraints_expected2.ys
• example_2constraints_expected3.smt2
• example_2constraints_expected3.ys
• example_2constraints_expected4.smt2
• example_2constraints_expected4.ys
• example_ALU_add_sub_rewritten.smt2
• example_ALU_add_sub_rewritten.ys
• example_distr.efyices
• example_distr.efyices.smt2
• example_find_ALU_add_conditions.smt2
• example_find_ALU_add_conditions.ys
• test-eval.ys
• test-show-model.ys
• test.ys
• test2.ys
• test3.ys

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jan 24 04:55:24 2025