mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
30 lines
553 B
ReStructuredText
30 lines
553 B
ReStructuredText
Examples
|
|
===========
|
|
|
|
The following examples show how the APIs (:doc:`../api/cpp/cpp`, :doc:`../api/java/index`, :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
|
|
floatingpoint
|
|
lineararith
|
|
quickstart
|
|
relations
|
|
sequences
|
|
sets
|
|
strings
|
|
combination
|
|
sygus-fun
|
|
sygus-grammar
|
|
sygus-inv
|