From 1ff9a8c3c38049483da97b23d7e10c6b68c16d45 Mon Sep 17 00:00:00 2001 From: christophkloeffel Date: Wed, 11 Sep 2024 14:11:17 +0200 Subject: [PATCH] updates documentation in .md files --- README.md | 8 ++++---- documentation/dev_setup.md | 7 +++---- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index 696bf728..a2c6aa54 100644 --- a/README.md +++ b/README.md @@ -58,12 +58,12 @@ The Python implementation can be used for several purposes: ## Dependencies ### Run-time -* 3.8 <= Python3 <= 3.11 +* 3.8 <= Python3 <= 3.12 * [PyVCG](https://pypi.org/project/PyVCG) +* [PyPI CVC5](https://pypi.org/project/cvc5) + (required when using the `--verify` option) -Optional dependencies (they are not installed automatically): -* [PyPI CVC5](https://pypi.org/project/cvc5) (Linux or OSX only, - required when using the `--verify` option) +Optional dependency (not installed automatically): * [Binary CVC5](https://github.com/cvc5/cvc5/releases/tag/cvc5-1.0.8) (An alternative to PyPI CVC5, make sure to rename the binary to `cvc5` and put it on your PATH). diff --git a/documentation/dev_setup.md b/documentation/dev_setup.md index 0e7ae8c6..1235c2e1 100644 --- a/documentation/dev_setup.md +++ b/documentation/dev_setup.md @@ -6,10 +6,9 @@ may be possible to get it to work on other platforms. ## Setup -* You need a suitable version of Python3 (3.8, 3.9, 3.10, or - 3.11). The reason we do not support 3.12 or later (for the dev - setup) is the dependency on CVC5. Users could use 3.12; but they - won't be able to use the CVC5 API. +* You need a suitable version of Python3 (3.8 <= Python3 <= 3.12). You + can install this from your package manager. On Debian the package is + called `python3`. * You also need an executable `cvc5` binary on your PATH. Download the appropriate version from