search

ahumenberger / Z3.jl

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

Use a JLL instead of building from scratch #3

Closed shashi closed 4 years ago

shashi commented 4 years ago

I saw this being said on the z3 github issues, but opening an issue here for you.

I'm a noob at this, but can try to help. Would love to Pkg.add this package in seconds.

I noticed https://github.com/JuliaBinaryWrappers/z3_jll.jl, I might give this a try if you're not already working on that!

ahumenberger commented 4 years ago

Thank you, but I already have a branch where basically everything is set up. I'm just waiting for a new release of Z3 which includes the Julia bindings. Then z3_jll has to be updated and integrated into this package which shouldn't be a big effort.

shashi commented 4 years ago

Fantastic!!