search

prove-rs / z3.rs

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

Fix ci for wasm build #218

Closed HKalbasi closed 1 year ago

waywardmonkeys commented 1 year ago

Sorry I didn't merge this before!