From e434fdd15ba19067a4a3ca35baa1377c2534d03f Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Fri, 1 Apr 2022 19:26:33 -0700 Subject: [PATCH] docs: Add Python installation instructions for pip. (#8538) --- docs/api/python/python.rst | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/docs/api/python/python.rst b/docs/api/python/python.rst index 9763b45aa..2f89f3bbc 100644 --- a/docs/api/python/python.rst +++ b/docs/api/python/python.rst @@ -26,3 +26,13 @@ If you are a new user, or already have an application that uses Z3's python API, If you would like a more feature-complete---yet verbose---python API, with the ability to do almost everything that the cpp API allows, use the :doc:`base Python API `. You can compare examples using the two APIs by visiting the :doc:`examples page <../../examples/quickstart>`. + + +Installation +------------ + +The base and pythonic Python API can be installed via `pip` as follows: + +.. code:: bash + + pip install cvc5 -- 2.30.2