mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
11 lines
267 B
ReStructuredText
11 lines
267 B
ReStructuredText
Quickstart Example
|
|
==================
|
|
|
|
|
|
.. api-examples::
|
|
<examples>/api/cpp/quickstart.cpp
|
|
<examples>/api/java/QuickStart.java
|
|
<examples>/api/python/pythonic/quickstart.py
|
|
<examples>/api/python/quickstart.py
|
|
<examples>/api/smtlib/quickstart.smt2
|