From 175fbd30ef230a29dd217a65fd3cfb250ff8243a Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 29 Jul 2021 10:45:25 -0700 Subject: [PATCH] quickstart: Add python example to docs. (#6949) --- docs/api/cpp/quickstart.rst | 1 + docs/examples/examples.rst | 1 + docs/examples/quickstart.rst | 8 ++++++++ 3 files changed, 10 insertions(+) create mode 100644 docs/examples/quickstart.rst 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 -- 2.30.2