Function parse_smt_solver_version 

pub(crate) fn parse_smt_solver_version(
    version_output: &str,
) -> Result<(i32, i32, i32), GetVersionError>

This function attempts to parse the version number from the output of the --version command.

Note that this function will return a ParseVersionError if the output does not contain the version in the form of “… version x.y.z …”