Simulating circuits
-------------------

.. autocmdgroup:: passes/sat
   :members: