[][src]Function rust_smt::new_smt_solver

pub fn new_smt_solver(solver: &str) -> impl SMTSolver