# \#z3

**URL:** https://discourse.julialang.org/tag/z3/494.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Using Z3.jl](https://discourse.julialang.org/t/using-z3-jl/48006)

<div class="topic-metadata">

**Author:** [@Nosferican](https://discourse.julialang.org/u/Nosferican)\
**Replies:** 1\
**Last updated:** [October 8, 2020, 10:25pm UTC](https://discourse.julialang.org/t/using-z3-jl/48006 "2020-10-08T22:25:13Z")

</div>

I am trying to use atleast and atmost to set up constraints but not sure how these work (type of the first argument). The method signature is # 1 method for generic function "atleast": \[1\] atleast(arg1::Union{CxxWrap.…