We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see ourdocumentation.
Julia interface to Z3
UsesClang.jl to wraparound Z3'sC API,andBinaryBuilder.jl to build the Z3 binary(build scripthere).
Design followsZ3Py.In particular, we provide an implicit globalContext, and overload operators (like+,-,*,/)to create Z3 expressions.
Context
+
-
*
/