Update dependencies - Githubissues

ahumenberger / Z3.jl

Julia interface to Z3

MIT License

57 stars 7 forks source link

Closed remysucre closed 9 months ago

remysucre commented 10 months ago

In particular, CxxWrap needs to be upgraded to be compatible with Julia 1.10 (see https://github.com/JuliaInterop/CxxWrap.jl/issues/379). Fixes #26

ahumenberger commented 9 months ago

Thanks!