# 15.1.1.7.1.3. cobra.util.solver¶

Additional helper functions for the optlang solvers.

All functions integrate well with the context manager, meaning that all operations defined here are automatically reverted when used in a with model: block.

The functions defined here together with the existing model functions should allow you to implement custom flux analysis methods with ease.

## 15.1.1.7.1.3.1. Module Contents¶

cobra.util.solver.linear_reaction_coefficients(model, reactions=None)[source]

Coefficient for the reactions in a linear objective.

Parameters: model (cobra model) – the model object that defined the objective reactions (list) – an optional list for the reactions to get the coefficients for. All reactions if left missing. A dictionary where the key is the reaction object and the value is the corresponding coefficient. Empty dictionary if there are no linear terms in the objective. dict
cobra.util.solver._valid_atoms(model, expression)[source]

Check whether a sympy expression references the correct variables.

Parameters: model (cobra.Model) – The model in which to check for variables. expression (sympy.Basic) – A sympy expression. True if all referenced variables are contained in model, False otherwise. boolean
cobra.util.solver.set_objective(model, value, additive=False)[source]

Set the model objective.

Parameters: model (cobra model) – The model to set the objective for value (model.problem.Objective,) – e.g. optlang.glpk_interface.Objective, sympy.Basic or dict If the model objective is linear, the value can be a new Objective object or a dictionary with linear coefficients where each key is a reaction and the element the new coefficient (float). If the objective is not linear and additive is true, only values of class Objective. additive (boolmodel.reactions.Biomass_Ecoli_core.bounds = (0.1, 0.1)) – If true, add the terms to the current objective, otherwise start with an empty objective.
cobra.util.solver.interface_to_str(interface)[source]

Give a string representation for an optlang interface.

Parameters: interface (string, ModuleType) – Full name of the interface in optlang or cobra representation. For instance ‘optlang.glpk_interface’ or ‘optlang-glpk’. The name of the interface as a string string
cobra.util.solver.get_solver_name(mip=False, qp=False)[source]

Select a solver for a given optimization problem.

Parameters: mip (bool) – Does the solver require mixed integer linear programming capabilities? qp (bool) – Does the solver require quadratic programming capabilities? The name of feasible solver. string SolverNotFound – If no suitable solver could be found.
cobra.util.solver.choose_solver(model, solver=None, qp=False)[source]

Choose a solver given a solver name and model.

This will choose a solver compatible with the model and required capabilities. Also respects model.solver where it can.

Parameters: model (a cobra model) – The model for which to choose the solver. solver (str, optional) – The name of the solver to be used. qp (boolean, optional) – Whether the solver needs Quadratic Programming capabilities. solver – Returns a valid solver for the problem. an optlang solver interface SolverNotFound – If no suitable solver could be found.
cobra.util.solver.add_cons_vars_to_problem(model, what, **kwargs)[source]

Add variables and constraints to a Model’s solver object.

Useful for variables and constraints that can not be expressed with reactions and lower/upper bounds. Will integrate with the Model’s context manager in order to revert changes upon leaving the context.

Parameters: model (a cobra model) – The model to which to add the variables and constraints. what (list or tuple of optlang variables or constraints.) – The variables or constraints to add to the model. Must be of class model.problem.Variable or model.problem.Constraint. **kwargs (keyword arguments) – passed to solver.add()
cobra.util.solver.remove_cons_vars_from_problem(model, what)[source]

Remove variables and constraints from a Model’s solver object.

Useful to temporarily remove variables and constraints from a Models’s solver object.

Parameters: model (a cobra model) – The model from which to remove the variables and constraints. what (list or tuple of optlang variables or constraints.) – The variables or constraints to remove from the model. Must be of class model.problem.Variable or model.problem.Constraint.
cobra.util.solver.add_absolute_expression(model, expression, name="abs_var", ub=None, difference=0, add=True)[source]

Add the absolute value of an expression to the model.

Also defines a variable for the absolute value that can be used in other objectives or constraints.

Parameters: model (a cobra model) – The model to which to add the absolute expression. expression (A sympy expression) – Must be a valid expression within the Model’s solver object. The absolute value is applied automatically on the expression. name (string) – The name of the newly created variable. ub (positive float) – The upper bound for the variable. difference (positive float) – The difference between the expression and the variable. add (bool) – Whether to add the variable to the model at once. A named tuple with variable and two constraints (upper_constraint, lower_constraint) describing the new variable and the constraints that assign the absolute value of the expression to it. namedtuple
cobra.util.solver.fix_objective_as_constraint(model, fraction=1, bound=None, name="fixed_objective_{}")[source]

Fix current objective as an additional constraint.

When adding constraints to a model, such as done in pFBA which minimizes total flux, these constraints can become too powerful, resulting in solutions that satisfy optimality but sacrifices too much for the original objective function. To avoid that, we can fix the current objective value as a constraint to ignore solutions that give a lower (or higher depending on the optimization direction) objective value than the original model.

When done with the model as a context, the modification to the objective will be reverted when exiting that context.

Parameters: model (cobra.Model) – The model to operate on fraction (float) – The fraction of the optimum the objective is allowed to reach. bound (float, None) – The bound to use instead of fraction of maximum optimal value. If not None, fraction is ignored. name (str) – Name of the objective. May contain one {} placeholder which is filled with the name of the old objective.
cobra.util.solver.check_solver_status(status, raise_error=False)[source]

Perform standard checks on a solver’s status.

cobra.util.solver.assert_optimal(model, message="optimization failed")[source]

Assert model solver status is optimal.

Do nothing if model solver status is optimal, otherwise throw appropriate exception depending on the status.

Parameters: model (cobra.Model) – The model to check the solver status for. message (str (optional)) – Message to for the exception if solver status was not optimal.