Function parse_solver

fn parse_solver(
    slot: &mut SmtSolver,
    v: Option<&str>,
) -> Result<(), &'static str>