Generic SMT Front-End For Multiple Solvers