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
