SyGuS: Functions
===================


.. api-examples::
    <examples>/api/cpp/sygus-fun.cpp
    <examples>/api/c/sygus-fun.c
    <examples>/api/java/SygusFun.java
    <examples>/api/python/sygus-fun.py
    <examples>/api/smtlib/sygus-fun.sy
    :skip: py-pythonicapi, smt2

The utility method used for printing the synthesis solutions in the examples
above is defined separately in the ``utils`` module:

.. api-examples::
    <examples>/api/cpp/utils.h
    <examples>/api/cpp/utils.cpp
    <examples>/api/c/utils.h
    <examples>/api/c/utils.c
    <examples>/api/java/Utils.java
    <examples>/api/python/utils.py
    :skip: py-pythonicapi, smt2
