Function hotdrink_rs::examples::constraint_systems::ladder::ladder

pub fn ladder<T>(n_components: usize, n_variables: usize) -> ConstraintSystem<T> where
    T: Debug + Default + Clone + 'static, 

Constructs a “ladder”-shaped constraint system.