Module kimchi::linearization

This module implements the linearization.

Functions

• constraints_expr
  Get the expresion of constraints.
• expr_linearization
  Linearize the expr.
• linearization_columns
  Adds the polynomials that are evaluated as part of the proof for the linearization to work.