github.com/consensys/gnark@v0.11.0/constraint/doc.go (about)

     1  // Package constraint provides constructs needed to build and use a constraint system.
     2  //
     3  // A constraint system is a list of mathematical constraints;
     4  //   - Each constraint is composed of LinearExpression of Term
     5  //   - A Term is an association between a coefficient and a Variable
     6  package constraint