Function run_solver_commands 

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

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