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.

Name		Name	Last commit message	Last commit date
Latest commit History 127 Commits
.github/workflows < 8000 /td>		.github/workflows
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
Manifest.toml		Manifest.toml
Project.toml		Project.toml
README.md		README.md
generator.jl		generator.jl
generator.toml		generator.toml

Provide feedback