atcoder.twosat.TwoSAT
=====================

.. currentmodule:: atcoder.twosat

.. autoclass:: TwoSAT


   .. rubric:: Methods

   .. automethod:: __init__
   .. automethod:: add_clause
   .. automethod:: answer
   .. automethod:: satisfiable