@inproceedings{pereira:hal-04761767,
  TITLE = {{Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml}},
  AUTHOR = {Pereira, Jo{\~a}o Madeira and Marques, Filipe and Ad{\~a}o, Pedro and Ait El Hara, Hichem Rami and Andr{\`e}s, L{\'e}o and Carcano, Arthur and Chambart, Pierre and Santos, Nuno and Fragoso Santos, Jos{\'e} and Maksimovi{\'c}, Petar},
  URL = {https://inria.hal.science/hal-04761767},
  BOOKTITLE = {{TACAS 2026, 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems}},
  ADDRESS = {Turin, Italy},
  YEAR = {2026},
  MONTH = Apr,
  KEYWORDS = {colibri2 ; smtlib ; cvc5 ; z3 ; alt-ergo ; OCaml ; Symbolic Execution ; SMT Solvers},
  PDF = {https://inria.hal.science/hal-04761767v2/file/smtml_a_multi_backend_frontend_smt_solvers_in_ocaml.pdf},
  HAL_ID = {hal-04761767},
  HAL_VERSION = {v2},
}