ahumenberger/Z3.jl issues and pull requests

#29 - Missing Z3 API

Issue - State: closed - Opened by MFaisalZaki 5 months ago - 1 comment

#28 - Segfault with jemalloc

Issue - State: open - Opened by remysucre 5 months ago

#27 - Update dependencies

Pull Request - State: closed - Opened by remysucre 10 months ago - 1 comment

#26 - Cannot be installed on Julia 1.10 due to old CxxWrap version

Issue - State: closed - Opened by VaranTavers 11 months ago

#25 - How to use pble

Issue - State: closed - Opened by MFaisalZaki about 1 year ago - 1 comment

#24 - Update z3 from 4.8.14 to 4.12.1

Pull Request - State: closed - Opened by ahumenberger over 1 year ago

#23 - updating z3 version.

Pull Request - State: closed - Opened by MFaisalZaki over 1 year ago - 2 comments

#22 - `hash` returns UInt32 making consts unable to be used in Dict

Issue - State: open - Opened by shashi over 1 year ago

#21 - Build fails

Issue - State: closed - Opened by nsajko about 2 years ago

#20 - TagBot trigger issue

Issue - State: closed - Opened by JuliaTagBot over 2 years ago - 5 comments

#19 - Update Z3 to v4.8.14

Pull Request - State: closed - Opened by ahumenberger over 2 years ago

#18 - Update dependencies.

Pull Request - State: closed - Opened by kllrak over 2 years ago - 2 comments

#17 - Missing `ForAll` and `Exists`

Issue - State: closed - Opened by dpsanders about 3 years ago - 5 comments

#16 - Add a more convenient substitute function

Pull Request - State: closed - Opened by Philipp15b over 3 years ago - 1 comment

#15 - Problem with Hashing `Z3.ExprAllocated` in Julia 1.6

Issue - State: open - Opened by yangky11 over 3 years ago - 2 comments

#14 - Cannot find add_soft

Issue - State: closed - Opened by yangky11 over 3 years ago - 2 comments

#13 - Do not export `ctx`, or use different variable in the examples

Issue - State: open - Opened by goretkin about 4 years ago - 2 comments

#12 - segfault

Issue - State: closed - Opened by goretkin about 4 years ago - 4 comments

#11 - Unsupported operations on `Z3.ExprAllocated`

Issue - State: open - Opened by goretkin about 4 years ago - 1 comment

#10 - Example of getting all solutions

Issue - State: open - Opened by goretkin about 4 years ago - 1 comment

#9 - ASSERTION VIOLATION

Issue - State: closed - Opened by Nosferican about 4 years ago - 3 comments

#8 - Is optimization / maximization supported?

Issue - State: closed - Opened by SteveElp over 4 years ago - 1 comment

#7 - I wrote an example collection

Issue - State: open - Opened by SteveElp over 4 years ago - 1 comment

#6 - Use z3_jll

Pull Request - State: closed - Opened by ahumenberger over 4 years ago

#5 - fail gracefully

Issue - State: closed - Opened by shashi over 4 years ago - 3 comments

#4 - pop takes a 2nd arg but push does not

Issue - State: closed - Opened by shashi over 4 years ago - 2 comments

#3 - Use a JLL instead of building from scratch