tqecd.match\_utils.sat
======================

.. automodule:: tqecd.match_utils.sat

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      encode_pauli_string_commuting_cover_sat_problem_in_solver
      encode_pauli_string_exact_cover_sat_problem_in_solver