From: Aina Niemetz Date: Thu, 29 Jul 2021 17:45:25 +0000 (-0700) Subject: quickstart: Add python example to docs. (#6949) X-Git-Tag: cvc5-1.0.0~1427 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=175fbd30ef230a29dd217a65fd3cfb250ff8243a;p=cvc5.git quickstart: Add python example to docs. (#6949) --- 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