Function get_smt_solver_version 

pub(crate) fn get_smt_solver_version(
    cmd: &str,
) -> Result<(i32, i32, i32), GetVersionError>

Calls solver and attempts to parse the version of the SMT solver that is used