• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• solver.rst

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.docs.api.python.base.solver.rst Maven / Gradle / Ivy

Solver
========

This class represents a cvc5 solver instance.

:py:obj:`Terms `, :py:obj:`Sorts ` and
:py:obj:`Ops ` are not tied to a :py:obj:`cvc5.Solver`
but associated with a :py:obj:`cvc5.TermManager` instance, which can be
shared between solver instances.

Solver options are configured via :py:func:`cvc5.Solver.setOption()`
and queried via :py:func:`cvc5.Solver.getOption()`
(for more information on configuration options, see :doc:`../../../options`).

----

.. autoclass:: cvc5.Solver
    :members:
    :undoc-members: