Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml. - João Madeira Pereira; Filipe Marques; Pedro Adão; Hichem Rami Ait El Hara; Léo Andrès; Arthur Carcano; Pierre Chambart; Petar Maksimovic 001; Nuno Santos 001; José Fragoso Santos (TACAS (1), 2026)