Z3.jl icon indicating copy to clipboard operation
Z3.jl copied to clipboard

verified publisher icon ahumenberger
→

Metadata

Julia interface to Z3

Z3.jl

Uses Clang.jl to wrap around Z3's C API, and BinaryBuilder.jl to build the Z3 binary (build script here).

Design follows Z3Py. In particular, we provide an implicit global Context, and overload operators (like +,-,*, /) to create Z3 expressions.

← Metadata

39
Stars
6
Forks
Watchers

Owner

verified publisher icon ahumenberger

Metadata

Julia interface to Z3

Back