Update bundled z3 (fix windows debug builds)

prove-rs / z3.rs

Rust bindings for the Z3 solver.

337 stars 105 forks source link

Closed toolCHAINZ closed 3 months ago

toolCHAINZ commented 3 months ago

This seems to fix debug windows builds on my machine

waywardmonkeys commented 3 months ago

Okay, let's give this part a try!