Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.

Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos

Browse the full TACAS paper archive.