From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Sat, 2 Apr 2022 02:26:33 +0000 (-0700)
Subject: docs: Add Python installation instructions for pip. (#8538)
X-Git-Tag: cvc5-1.0.0~42
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e434fdd15ba19067a4a3ca35baa1377c2534d03f;p=cvc5.git

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

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