Function run_solver_commands 

fn run_solver_commands(
    commands: &[SolverCommand],
    smt: &str,
    timeout: Option<u32>,
    model_constraints: Option<&[BoolExpr]>,
) -> SolverCommandRun

Runs one or more solver commands and returns the first decisive SMT-LIB response.