veriT: An Open, Trustable and Efficient SMT-Solver.

Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Dharbe, Pascal Fontaine

Browse the full CADE paper archive.