set_prod
========

.. currentmodule:: semstr.constraints

.. autofunction:: set_prod