2024-08-05 11:49:50 -07:00
|
|
|
Plugin
|
|
|
|
|
======
|
|
|
|
|
|
|
|
|
|
This class encapsulates a user-specified solver plugin.
|
|
|
|
|
It is configured via :py:func:`cvc5.Solver.addPlugin()`.
|
|
|
|
|
|
|
|
|
|
----
|
|
|
|
|
|
2025-09-08 10:08:58 -05:00
|
|
|
.. autoclass:: cvc5.Plugin
|
2024-08-05 11:49:50 -07:00
|
|
|
:members:
|
|
|
|
|
:undoc-members:
|
|
|
|
|
|
