diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-07-29 10:45:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-29 17:45:25 +0000 |
commit | 175fbd30ef230a29dd217a65fd3cfb250ff8243a (patch) | |
tree | 6240571f9811d133af868f32828ed8fff72aa13e /docs | |
parent | 63dfa2730bac42fed9dda6aa5fb3d57e6cadfcc0 (diff) |
quickstart: Add python example to docs. (#6949)
Diffstat (limited to 'docs')
-rw-r--r-- | docs/api/cpp/quickstart.rst | 1 | ||||
-rw-r--r-- | docs/examples/examples.rst | 1 | ||||
-rw-r--r-- | docs/examples/quickstart.rst | 8 |
3 files changed, 10 insertions, 0 deletions
diff --git a/docs/api/cpp/quickstart.rst b/docs/api/cpp/quickstart.rst index ba0c6fd22..e639e3972 100644 --- a/docs/api/cpp/quickstart.rst +++ b/docs/api/cpp/quickstart.rst @@ -182,4 +182,5 @@ Example .. api-examples:: ../../../examples/api/cpp/quickstart.cpp + ../../../examples/api/python/quickstart.py ../../../examples/api/smtlib/quickstart.smt2 diff --git a/docs/examples/examples.rst b/docs/examples/examples.rst index 4132d1545..0b2651851 100644 --- a/docs/examples/examples.rst +++ b/docs/examples/examples.rst @@ -18,6 +18,7 @@ input mechanisms. datatypes floatingpoint lineararith + quickstart relations sequences sets diff --git a/docs/examples/quickstart.rst b/docs/examples/quickstart.rst new file mode 100644 index 000000000..bd2c3450a --- /dev/null +++ b/docs/examples/quickstart.rst @@ -0,0 +1,8 @@ +Quickstart Example +================== + + +.. api-examples:: + ../../examples/api/cpp/quickstart.cpp + ../../examples/api/python/quickstart.py + ../../examples/api/smtlib/quickstart.smt2 |