Plugin
======

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

----

.. doxygenclass:: cvc5::Plugin
    :project: cvc5
    :members:
    :undoc-members: