Update Python API documentation (cvc5#10995)

Resolves cvc5#10288. Requires cvc5#10994.

Author: daniel-larraz

README.md

@@ -62,6 +62,13 @@ For detailed build and installation instructions on these platforms,
 see file [INSTALL.rst](https://github.com/cvc5/cvc5/blob/main/INSTALL.rst).
 
 
+Interfaces
+-------------------------------------------------------------------------------
+
+cvc5 features APIs for several different programming languages such as Python and
+Java. See the [user documentation](https://cvc5.github.io/docs/) for more information.
+
+
 Bug Reports
 -------------------------------------------------------------------------------
 

docs/api/python/python.rst

@@ -28,7 +28,7 @@ If you would like a more feature-complete---yet verbose---python API, with the a
 You can compare examples using the two APIs by visiting the :doc:`examples page <../../examples/quickstart>`.
 
 
-Installation (x86-64 variants of Linux and macOS)
+Installation (from PyPi)
 ------------
 
 The base and pythonic Python API can be installed via `pip` as follows:
@@ -38,27 +38,22 @@ The base and pythonic Python API can be installed via `pip` as follows:
   pip install cvc5
 
 
-Installation (ARM64 variants of Linux and macOS)
+Installation (from source)
 ------------
 
-For ARM64-based machines (including Apple computers with M1 and M2 chips), the base and the pythonic Python API can be installed from source.
-Before building and installing, the following dependencies should be installed, using `brew` and `pip`:
+The base and pythonic Python API can also be installed from source following these steps:
 
 .. code:: bash
 
-  brew install cmake python gmp java
-
-
-Then `cvc5` can be installed from source as follows:
-
-.. code:: bash
-
-  git clone [email protected]:cvc5/cvc5.git
+  git clone https://github.com/cvc5/cvc5.git
   cd cvc5
   ./configure.sh --python-bindings --auto-download
   cd build
-  make cvc5_python_api              # add -jN for parallel build using N threads
-  export PYTHONPATH="<path-to-local-cvc5-repo>/build/src/api/python/:$PYTHONPATH"
+  make # add -jN for parallel build using N threads
+  make install
+
+For Windows, the steps above must be executed on a MINGW64 environment
+(see the `installation instructions <../../installation/installation>`).
 
 And to make sure that it works:
 

src/api/python/pyproject.toml

@@ -10,11 +10,17 @@ build-backend = "setuptools.build_meta"
 name="cvc5"
 description="Python bindings for cvc5"
 dynamic = ["version"]
-urls = {Homepage = "https://github.com/cvc5/cvc5"}
 license = {text = "BSD-3-Clause AND LGPL-3.0-or-later AND MIT"}
 # BSD-3-Clause      : cvc5 library and Python API
 # LGPL-3.0-or-later : LibPoly and GMP
 # MIT               : Pythonic API
 
+[project.urls]
+Homepage = "https://cvc5.github.io/"
+Documentation = "https://cvc5.github.io/docs/"
+Repository = "https://github.com/cvc5/cvc5"
+Issues = "https://github.com/cvc5/cvc5/issues"
+Changelog = "https://github.com/cvc5/cvc5/blob/main/NEWS.md"
+
 [tool.setuptools.dynamic]
 version = {attr = "cvc5.__version__"}