From ccef65205bb3edb99850ac18e815a862243b067f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A1ll=20Haraldsson?= Date: Fri, 20 Sep 2024 17:58:04 +0000 Subject: [PATCH] C API now used by Julia. See: https://github.com/ahumenberger/Z3.jl/releases/tag/v1.0.0 --- src/api/julia/README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/api/julia/README.md b/src/api/julia/README.md index 12e846191..f64b0c4ab 100644 --- a/src/api/julia/README.md +++ b/src/api/julia/README.md @@ -1,6 +1,8 @@ # Julia bindings -The Julia package [Z3.jl](https://github.com/ahumenberger/Z3.jl) provides and interface to Z3 by exposing its C++ API via [CxxWrap.jl](https://github.com/JuliaInterop/CxxWrap.jl). The bindings therefore consist of a [C++ part](z3jl.cpp) and a [Julia part](https://github.com/ahumenberger/Z3.jl). The C++ part defines the Z3 types/methods which are exposed. The resulting library is loaded in the Julia part via CxxWrap.jl which creates the corresponding Julia types/methods. +The Julia package [Z3.jl](https://github.com/ahumenberger/Z3.jl) provides and interface to Z3 by exposing its C API. + +A previous version exposed the C++ API via [CxxWrap.jl](https://github.com/JuliaInterop/CxxWrap.jl). The bindings therefore consisted of a [C++ part](z3jl.cpp) and a [Julia part](https://github.com/ahumenberger/Z3.jl). The C++ part defines the Z3 types/methods which are exposed. The resulting library is loaded in the Julia part via CxxWrap.jl which creates the corresponding Julia types/methods. ## Building the C++ part