Constraint Propagation for Bit-Vectors in Alt-Ergo. - Hichem Rami Ait El Hara; Guillaume Bury; Basile Clément; Pierre Villemot (SMT/POS@CP/SAT/SoCS, 2025)