Function validate_solver_model_output 

pub(crate) fn validate_solver_model_output(
    output: &str,
    constraints: &[BoolExpr],
) -> Result<(), SymbolicError>