CxxWrap.jl icon indicating copy to clipboard operation
CxxWrap.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaInterop

expert guidance needed for Z3 Julia API builds

Open JeffreySarnoff opened this issue 4 years ago • 1 comments

Please see this thread about Z3's Julia API. Specifics with CxxWrap use are here.

Insight and specifics to script the build for Linux and Windows is needed.

JeffreySarnoff avatar May 02 '20 05:05 JeffreySarnoff

The reply to that (post #15 by ahumenberger) is exactly what needs to be done. If there is any other specific issue, I'd be happy to help.

barche avatar May 05 '20 19:05 barche