Function hotdrink_rs::examples::constraint_systems::linear::linear_oneway [−][src]
pub fn linear_oneway<T>(_: usize, n_variables: usize) -> ConstraintSystem<T> where
T: Debug + Clone + Default + Send + 'static,
Constructs a constraint system with long chains of constraints between variables.