2-SAT
=====

.. autosummary::
   :toctree: generated/
   :nosignatures:

   atcoder.twosat.TwoSAT