Fedora 42 updates for aarch64 : / usr /src /debug /z3-4.15.4-1.fc42.aarch64 /src /api

• api_algebraic.cpp
• api_arith.cpp
• api_array.cpp
• api_ast.cpp
• api_ast_map.cpp
• api_ast_map.h
• api_ast_vector.cpp
• api_ast_vector.h
• api_bv.cpp
• api_config_params.cpp
• api_context.cpp
• api_context.h
• api_datalog.cpp
• api_datalog.h
• api_datatype.cpp
• api_fpa.cpp
• api_goal.cpp
• api_goal.h
• api_log.cpp
• api_model.cpp
• api_model.h