Module hotdrink_rs::examples::constraint_systems::factory[][src]

A generic function for constructing ConstraintSystems.

Functions

make_component

Construct a constraint system with the specified number of components and variables, and creates constraints using the the provided function.

make_cs

Construct a constraint system with the specified number of components and variables, and creates constraints using the the provided function.