.. _solver_implicant:

idp_engine.Propagate
=========================

.. automodule:: idp_engine.Propagate
   :members:
   :noindex: