ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
cvc5/docs/api/python/pythonic/solver.rst

54 lines
1.0 KiB
ReStructuredText
Raw Permalink Normal View History

Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
Solvers & Results
===========================
Simple Solving
----------------
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autofunction:: cvc5.pythonic.solve
.. autofunction:: cvc5.pythonic.solve_using
.. autofunction:: cvc5.pythonic.prove
pythonic docs: is_tautology (#10687)
2024-04-25 11:49:41 -07:00
.. autofunction:: cvc5.pythonic.is_tautology
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
The Solver Class
----------------
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autofunction:: cvc5.pythonic.SolverFor
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autofunction:: cvc5.pythonic.SimpleSolver
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autoclass:: cvc5.pythonic.Solver
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
:members:
:special-members:
Results & Models
----------------
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. data:: cvc5.pythonic.unsat
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
An *UNSAT* result.
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. data:: cvc5.pythonic.sat
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
A *SAT* result.
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. data:: cvc5.pythonic.unknown
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
The satisfiability could not be determined.
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autoclass:: cvc5.pythonic.CheckSatResult
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
:members:
:special-members:
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autoclass:: cvc5.pythonic.ModelRef
Python Idomatic API: Document solver, results, utilities, and fns (#7882) I put fns into "Core & Booleans".
2022-01-07 12:42:28 -08:00
:members:
:special-members:
Utilities
--------------
Integrate pythonic api (#8131) We decided we want to ship the pythonic API together with our base python API. This PR adds a new target cvc5_python_api that first builds the base python API and then copies the pythonic API over. Furthermore we now use the cvc5.pythonic module to generate the corresponding documentation.
2022-03-03 03:16:09 +01:00
.. autofunction:: cvc5.pythonic.evaluate
.. autofunction:: cvc5.pythonic.simplify
.. autofunction:: cvc5.pythonic.substitute
.. autofunction:: cvc5.pythonic.Sum
.. autofunction:: cvc5.pythonic.Product
Reference in New Issue Copy Permalink