dwavebinarycsp.factories.constraint.sat.sat2in4
===============================================

.. currentmodule:: dwavebinarycsp.factories.constraint.sat

.. autofunction:: sat2in4