Search results

Segfault with jemalloc

Status: Open.

#28 In ahumenberger/Z3.jl;

· remysucre opened on Jun 12, 2024

hash returns UInt32 making consts unable to be used in Dict

Status: Open.

#22 In ahumenberger/Z3.jl;

· shashi opened on Jun 13, 2023

Problem with Hashing Z3.ExprAllocated in Julia 1.6

Status: Open.

#15 In ahumenberger/Z3.jl;

· yangky11 opened on Apr 6, 2021

Do not export ctx, or use different variable in the examples

Status: Open.

#13 In ahumenberger/Z3.jl;

· goretkin opened on Nov 17, 2020

Unsupported operations on Z3.ExprAllocated

Status: Open.

#11 In ahumenberger/Z3.jl;

· goretkin opened on Nov 17, 2020

Example of getting all solutions

Status: Open.

#10 In ahumenberger/Z3.jl;

· goretkin opened on Nov 17, 2020

I wrote an example collection

Status: Open.

#7 In ahumenberger/Z3.jl;

· SteveElp opened on Jul 24, 2020