mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Julia now used the C API. (#7388)

Browse source
This commit is contained in:
Páll Haraldsson 2024-09-24 14:17:11 +00:00 committed by GitHub
parent 994056f347
commit 8b81bda469
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -163,7 +163,7 @@ See [``examples/ml``](examples/ml) for examples.
### ``Python`` ### ``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 ```bash
pip install z3-solver pip install z3-solver
@ -206,7 +206,7 @@ See [``examples/python``](examples/python) for examples.
### ``Julia`` ### ``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`` ### ``Web Assembly`` / ``TypeScript`` / ``JavaScript``