quickstart: Add python example to docs. (#6949)

diff --git a/docs/api/cpp/quickstart.rst b/docs/api/cpp/quickstart.rst
index ba0c6fd22f0dc1a509231fdc7fad1a37a2e005e9..e639e3972f95e4451e22cb3d2fa349a2fb4068e5 100644 (file)
--- 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 4132d15451c6bd056a4348930b7aed42f9cc4975..0b2651851c547e17bc876a5b6ea7608e79323c7e 100644 (file)
--- 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 (file)
index 0000000..bd2c345
--- /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