diff --git a/README.md b/README.md index 0ecc17902..33c6b25f4 100644 --- a/README.md +++ b/README.md @@ -200,13 +200,14 @@ python -c 'import z3; print(z3.get_version_string())' See [``examples/python``](examples/python) for examples. +### ``Julia`` + +[Julia bindings](src/api/julia) can be enabled using the build option `Z3_BUILD_JULIA_BINDINGS` from the CMake system. + ### ``Web Assembly`` [WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel. -### ``Julia``` -Julia bindings can be enabled using the build option Z3_BUILD_JULIA_BINDINGS from the CMake system. - ## System Overview ![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)