Cannot be installed on Julia 1.10 due to old CxxWrap version

ahumenberger / Z3.jl

Julia interface to Z3

MIT License

57 stars 7 forks source link

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

Closed VaranTavers closed 9 months ago

VaranTavers commented 10 months ago

I tried to install this package on Julia 1.10 and it failed to precompile due to a known bug that resides in the older version of CxxWrap that this package uses. Please consider updating to the newest version.