search

ahumenberger / Z3.jl

Julia interface to Z3
MIT License
57 stars 7 forks source link

updating z3 version. #23

Closed MFaisalZaki closed 1 year ago

MFaisalZaki commented 1 year ago

I have updated the z3 version to 4.12.1.

MFaisalZaki commented 1 year ago

Hi @ahumenberger can you check the modifications and accept the changes after your review?

ahumenberger commented 1 year ago

@MFaisalZaki I updated Z3 and triggered a new release. v0.4.3 should be out now. Thanks!