Fedora 42 updates for aarch64 : / usr /src /debug /yices-2.7.0-1.fc42.aarch64 /src /mcsat

• bool
• bv
• conflict.c
• conflict.h
• eq
• ff
• gc.c
• gc.h
• ite
• mcsat_types.h
• model.c
• model.h
• na
• options.c
• options.h
• plugin.h
• preprocessor.c
• preprocessor.h
• solver.c
• solver.h