search

prove-rs / z3.rs

Rust bindings for the Z3 solver.
347 stars 110 forks source link

New release? #241

Closed skyf0l closed 1 year ago

skyf0l commented 1 year ago

I'd like to use the new build feature with the env variable Z3_SYS_Z3_HEADER with custom Windows build. Can you publish the new version? (The previous one is 2 years old :o)

Xuanwo commented 1 year ago

Duplicated with https://github.com/prove-rs/z3.rs/issues/237

waywardmonkeys commented 1 year ago

Done!