diff options
-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 |