# Julia bindings for Z3 SMT solver

**URL:** https://discourse.julialang.org/t/julia-bindings-for-z3-smt-solver/38218
**Category:** Optimization (Mathematical)
**Created:** [April 26, 2020, 5:36am UTC](https://discourse.julialang.org/t/julia-bindings-for-z3-smt-solver/38218 "2020-04-26T05:36:14Z")
**Posts on this page:** 1
**Page:** 2

<div class="post-metadata">

### Author: ![giordano](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/giordano/32/2166_2.png) [@giordano](https://discourse.julialang.org/u/giordano)
#### Post date: [February 19, 2023, 4:46pm UTC](https://discourse.julialang.org/t/julia-bindings-for-z3-smt-solver/38218/21 "2023-02-19T16:46:00Z")

</div>

Is it [segfault · Issue #12 · ahumenberger/Z3.jl · GitHub](https://github.com/ahumenberger/Z3.jl/issues/12)?

[Previous page](https://discourse.julialang.org/t/julia-bindings-for-z3-smt-solver/38218.md?page=1)