SyGuS: Invariants
===================


.. api-examples::
    <examples>/api/cpp/sygus-inv.cpp
    <examples>/api/java/SygusInv.java
    <examples>/api/python/sygus-inv.py
    <examples>/api/smtlib/sygus-inv.sy

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/java/Utils.java
    <examples>/api/python/utils.py
