Update dependencies. - Githubissues

ahumenberger / Z3.jl

Julia interface to Z3

MIT License

57 stars 7 forks source link

Update dependencies. #18

Closed kllrak closed 2 years ago

kllrak commented 2 years ago

Use z3_jll v4.8.14 and require julia 1.6. All supported platforms for which libcxxwrap works have binaries built.

Ref: https://github.com/JuliaPackaging/Yggdrasil/pull/4654

kllrak commented 2 years ago

Just checking to see if you could please review this pull request. I believe the failures are related to Travis CI, I haven't tried to address CI changes here.

ahumenberger commented 2 years ago

Thanks for taking care of the z3_jll update!

I made the necessary changes for Z3.jl in https://github.com/ahumenberger/Z3.jl/pull/19. There is now v0.4.2 which should work.