Cvc5Plugin
==========

This structs encapsulates a user-specified solver plugin.
It is configured via :cpp:func:`cvc5_add_plugin()`.

.. container:: hide-toctree

  .. toctree::

----

.. The following directive triggers a spurious warning. See issues:
   https://github.com/breathe-doc/breathe/issues/543
   https://github.com/sphinx-doc/sphinx/issues/7819
   As a workaround, we add a note in the Cvc5Plugin struct documentation.

   .. doxygentypedef:: Cvc5Plugin
      :project: cvc5_c

.. doxygenstruct:: Cvc5Plugin
    :project: cvc5_c
    :members:
