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
