docs: Add Python installation instructions for pip. (#8538)

diff --git a/docs/api/python/python.rst b/docs/api/python/python.rst
index 9763b45aaf8de0ef537e63b5b1fc18a4c7e2aa32..2f89f3bbcbc91fd8ebae5cc81fd305062fc6a022 100644 (file)
--- 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 <base/python>`.
 
 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