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.

The version is the first whitespace-separated token of the form “x.y.z”. Returns a ParseVersionError if no such token exists.