From 8b81bda46959e82c7e333f5838f4a424f4289f92 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A1ll=20Haraldsson?= Date: Tue, 24 Sep 2024 14:17:11 +0000 Subject: [PATCH] Julia now used the C API. (#7388) --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 0254160c70f..5350bc38bdc 100644 --- a/README.md +++ b/README.md @@ -163,7 +163,7 @@ See [``examples/ml``](examples/ml) for examples. ### ``Python`` -You can install the Python wrapper for Z3 for the latest release from pypi using the command +You can install the Python wrapper for Z3 for the latest release from pypi using the command: ```bash pip install z3-solver @@ -206,7 +206,7 @@ See [``examples/python``](examples/python) for examples. ### ``Julia`` -The Julia package [Z3.jl](https://github.com/ahumenberger/Z3.jl) wraps the C++ API of Z3. Information about updating and building the Julia bindings can be found in [src/api/julia](src/api/julia). +The Julia package [Z3.jl](https://github.com/ahumenberger/Z3.jl) wraps the C API of Z3. A previous version of it wrapped the C++ API: Information about updating and building the Julia bindings can be found in [src/api/julia](src/api/julia). ### ``Web Assembly`` / ``TypeScript`` / ``JavaScript``