search

ahumenberger / Z3.jl

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

Use z3_jll #6

Closed ahumenberger closed 4 years ago

ahumenberger commented 4 years ago

Fixes #5 and #3