cairo_lang_eq_solver

Function try_solve_equations

source 
pub fn try_solve_equations<Var: Clone + Debug + PartialEq + Eq + Hash>(
    equations: Vec<Expr<Var>>,
    minimization_vars: Vec<Vec<Var>>,
) -> Option<OrderedHashMap<Var, i64>>
Expand description

Solving a set of equations and returning the values of the symbols contained in them.

§Arguments

  • equations - The equations to solve.
  • minimization_vars - Vars to minimize - in ranked ordering - first minimize the sum of the first set - then the sum of the second and so on.

§Returns

  • Some(OrderedHashMap<Var, i64>) - The solutions to the equations.
  • None - The equations are unsolvable.