mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
13 lines
222 B
ReStructuredText
13 lines
222 B
ReStructuredText
|
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:
|