• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• sygus-inv.rst

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.docs.examples.sygus-inv.rst Maven / Gradle / Ivy

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


.. api-examples::
    /api/cpp/sygus-inv.cpp
    /api/c/sygus-inv.c
    /api/java/SygusInv.java
    /api/python/sygus-inv.py
    /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::
    /api/cpp/utils.h
    /api/cpp/utils.cpp
    /api/c/utils.h
    /api/c/utils.c
    /api/java/Utils.java
    /api/python/utils.py