def linearize(a, b, y):
    """Generates linearization constraints for the product y = ab.

    Parameters
    ----------
    a : str
        First factor.
    b : str
        Second factor.
    y : Product.

    Returns
    -------
    List[str]
        A list holding the three linearization constraints.
    """
    
    force_zero_a = "- %s + %s >= 0" % (y, a)
    force_zero_b = "- %s + %s >= 0" % (y, b)
    force_one = "- %s + %s + %s <= 1" % (y, a, b)
   
    return [force_zero_a, force_zero_b, force_one]