Validation and verification
===========================

.. toctree::
   :maxdepth: 1

   circuit_validator
   cnf
   miter
   equivalence_checking