remysucre pushed Z3.jl

remysucre pushed to master in ahumenberger/Z3.jl · August 4, 2026 05:14 1 commit to master

• 5166b91

  build: Update Julia to v1.12.5, z3_jll to 5.0 (#42)