From 50d58114cf37e1b20b03b078d505249cfda73a9d Mon Sep 17 00:00:00 2001 From: Anton Kochkov Date: Fri, 24 Apr 2020 01:05:50 +0800 Subject: [PATCH] Fix the Julia bindings paragraph in README (#4068) --- README.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) 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)