mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
34 lines
592 B
ReStructuredText
34 lines
592 B
ReStructuredText
Examples
|
|
===========
|
|
|
|
The following examples show how the APIs (:doc:`../api/cpp/cpp`,
|
|
:doc:`../api/java/java`, :doc:`../api/python/python`) and input languages can
|
|
be used.
|
|
For every example, the same problem is constructed and solved using different
|
|
input mechanisms.
|
|
|
|
|
|
.. toctree::
|
|
|
|
helloworld
|
|
exceptions
|
|
bags
|
|
bitvectors
|
|
bitvectors_and_arrays
|
|
extract
|
|
datatypes
|
|
finite_field
|
|
floatingpoint
|
|
lineararith
|
|
quickstart
|
|
relations
|
|
sequences
|
|
sets
|
|
strings
|
|
combination
|
|
sygus-fun
|
|
sygus-inv
|
|
parser
|
|
parser_sym_manager
|
|
uf
|