@unpublished{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}},
  URL = {https://inria.hal.science/hal-04761767},
  NOTE = {working paper or preprint},
  YEAR = {2024},
  MONTH = Oct,
  KEYWORDS = {SMT Solvers ; Symbolic Execution ; OCaml ; alt-ergo ; z3 ; cvc5 ; colibri2 ; smtlib},
  PDF = {https://inria.hal.science/hal-04761767v1/file/main.pdf},
  HAL_ID = {hal-04761767},
  HAL_VERSION = {v1}
}