Plugin
======

This class encapsulates a user-specified solver plugin.
It is configured via :py:func:`cvc5.Solver.addPlugin()`.

----

.. autoclass:: cvc5.Plugin
    :members:
    :undoc-members: