Function times 

pub fn times(
    a: impl IntegerVariable + 'static,
    b: impl IntegerVariable + 'static,
    c: impl IntegerVariable + 'static,
    constraint_tag: ConstraintTag,
) -> impl Constraint

Creates the Constraint a * b = c.